Formalization of the Classification Pattern: Survey of Classification Modeling in Information Systems Engineering

Partridge, C., de Cesare, S., Mitchell, A. and Odell, J. 2018. Formalization of the Classification Pattern: Survey of Classification Modeling in Information Systems Engineering. Software & Systems Modeling. 17 (1), pp. 167-203. https://doi.org/10.1007/s10270-016-0521-5

TitleFormalization of the Classification Pattern: Survey of Classification Modeling in Information Systems Engineering
TypeJournal article
AuthorsPartridge, C., de Cesare, S., Mitchell, A. and Odell, J.
Abstract

Formalization is becoming more common in all stages of the development of information systems, as a better understanding of its benefits emerges. Classification systems are ubiquitous, no more so than in domain modeling. The classification pattern that underlies these systems provides a good case study of the move toward formalization in part because it illustrates some of the barriers to formalization, including the formal complexity of the pattern and the ontological issues surrounding the “one and the many.” Powersets are a way of characterizing the (complex) formal structure of the classification pattern, and their formalization has been extensively studied in mathematics since Cantor’s work in the late nineteenth century. One can use this formalization to develop a useful benchmark. There are various communities within information systems engineering (ISE) that are gradually working toward a formalization of the classification pattern. However, for most of these communities, this work is incomplete, in that they have not yet arrived at a solution with the expressiveness of the powerset benchmark. This contrasts with the early smooth adoption of powerset by other information systems communities to, for example, formalize relations. One way of understanding the varying rates of adoption is recognizing that the different communities have different historical baggage. Many conceptual modeling communities emerged from work done on database design, and this creates hurdles to the adoption of the high level of expressiveness of powersets. Another relevant factor is that these communities also often feel, particularly in the case of domain modeling, a responsibility to explain the semantics of whatever formal structures they adopt. This paper aims to make sense of the formalization of the classification pattern in ISE and surveys its history through the literature, starting from the relevant theoretical works of the mathematical literature and gradually shifting focus to the ISE literature. The literature survey follows the evolution of ISE’s understanding of how to formalize the classification pattern. The various proposals are assessed using the classical example of classification; the Linnaean taxonomy formalized using powersets as a benchmark for formal expressiveness. The broad conclusion of the survey is that (1) the ISE community is currently in the early stages of the process of understanding how to formalize the classification pattern, particularly in the requirements for expressiveness exemplified by powersets, and (2) that there is an opportunity to intervene and speed up the process of adoption by clarifying this expressiveness. Given the central place that the classification pattern has in domain modeling, this intervention has the potential to lead to significant improvements.

KeywordsClassification system
Classification
Powerset
Powertype
Set theory
JournalSoftware & Systems Modeling
Journal citation17 (1), pp. 167-203
ISSN1619-1374
Year2018
PublisherSpringer
Publisher's version
Digital Object Identifier (DOI)https://doi.org/10.1007/s10270-016-0521-5
Publication dates
Published in printFeb 2018
Published16 Apr 2016

Related outputs

AI in Software Programming: Understanding Emotional Responses to GitHub Copilot
Eshraghian, F., Hafezieh, N., Farivar, F. and De Cesare, S. 2024. AI in Software Programming: Understanding Emotional Responses to GitHub Copilot. Information Technology & People. https://doi.org/10.1108/ITP-01-2023-0084

Remote Working and Task Innovativeness – an Integrated Resource Based View and Antecedent-Behaviour-Consequence Perspective
Dzandu, M.D., Hatsu, S. and De Cesare, S. 2023. Remote Working and Task Innovativeness – an Integrated Resource Based View and Antecedent-Behaviour-Consequence Perspective. Information Systems Frontiers. Advanced online publication. https://doi.org/10.1007/s10796-023-10452-z

Discerning popularity of innovations on digital platforms using an exploratory developer motivational perspective framework
Basu, A., Eshraghian, F. and De Cesare, S. 2023. Discerning popularity of innovations on digital platforms using an exploratory developer motivational perspective framework. European Group for Organizational Studies (EGOS) 2023. University of Cagliari, Cagliari, Italy 06 - 08 Jul 2023

Dynamics of Emotions Towards AI-Powered Technologies: A Study of GitHub Copilot
Eshraghian, F., Hafezieh, N., Farivar, F. and De Cesare, S. 2023. Dynamics of Emotions Towards AI-Powered Technologies: A Study of GitHub Copilot. Academy of Management (AOM) Annual Meeting 2023. Boston, Massachusetts, USA 08 Jul - 04 Aug 2023

Acceptability of the COVID-19 contact-tracing app – Does culture matter?
Dzandu, M.D., Pathak, B. and De Cesare, S. 2022. Acceptability of the COVID-19 contact-tracing app – Does culture matter? Government Information Quarterly. 101750. https://doi.org/10.1016/j.giq.2022.101750

Implicit requirements for ontological multi-level types in the UNICLASS classification
Partridge, Chris, Mitchell, Andrew, da Silva, Marco, Soto, Oscar Xiberta, West, Matthew, Khan, Mesbah and de Cesare, Sergio 2020. Implicit requirements for ontological multi-level types in the UNICLASS classification. 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. Virtual Event, Canada Oct 2020 ACM. https://doi.org/10.1145/3417990.3421414

Comprehending 3D and 4D ontology-driven conceptual models: An empirical study
Verdonck, M., Gailly, F. and De Cesare, S. 2020. Comprehending 3D and 4D ontology-driven conceptual models: An empirical study. Information Systems. 93 101568. https://doi.org/10.1016/j.is.2020.101568

Grounding for an Enterprise Computing Nomenclature Ontology
Partridge, C., Mitchell, A. and de Cesare, S. 2019. Grounding for an Enterprise Computing Nomenclature Ontology. in: Laender, A., Pernici, B., Lim, E.P. and de Oliveira, J. (ed.) Conceptual Modeling. ER 2019 Springer.

Coordinate Systems: Level Ascending Ontological Options
Partridge, C., Mitchell, A., Loneragan, M., Atkinson, H., De Cesare, S. and Khan, M. 2019. Coordinate Systems: Level Ascending Ontological Options. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). Munich, Germany 15 - 20 Sep 2019 IEEE . https://doi.org/10.1109/MODELS-C.2019.00017

Thoroughly Modern Accounting: Shifting to a De Re Conceptual Pattern for Debits and Credits
Chris Partridge, Mesbah Khan, Sergio de Cesare, Frederik Gailly, Michael Verdonck and Andrew Mitchell 2018. Thoroughly Modern Accounting: Shifting to a De Re Conceptual Pattern for Debits and Credits. in: Woo C., Lu J., Li Z., Ling T., Li G. and Lee M. (ed.) Advances in Conceptual Modeling. ER 2018 Springer. pp. 134-148

A Conceptual Framework for Servitization in Industry 4.0: Distilling Directions for Future Research
Ennis, C., Barnett, N., De Cesare, S., Lander, R. and Pilkington, A. 2018. A Conceptual Framework for Servitization in Industry 4.0: Distilling Directions for Future Research. The Advance Services Group Spring Servitization Conference 2018. Copenhagen Business School 14 - 16 May 2018 Aston University and Higher Education Academy.

Costs and benefits to small companies of digital reporting
Collis, J., Alkhatib, E. and de Cesare, S. 2018. Costs and benefits to small companies of digital reporting. ACCA.

BORO as a Foundation to Enterprise Ontology
de Cesare, S. and Partridge, C. 2016. BORO as a Foundation to Enterprise Ontology. Journal of Information Systems. 30 (2), pp. 83-112. https://doi.org/10.2308/isys-51428

Quantifying StockTwits semantic terms’ trading behavior in financial markets: An effective application of decision tree algorithms
Al Nasseri, A.A., Tucker, A. and de Cesare, S. 2015. Quantifying StockTwits semantic terms’ trading behavior in financial markets: An effective application of decision tree algorithms. Expert Systems with Applications. 42 (23), pp. 9192-9210. https://doi.org/10.1016/j.eswa.2015.08.008

Ontology-Driven Conceptual Modeling: A Systematic Literature Mapping and Review
Verdonck, M., Gailly, F., De Cesare, S. and Poels, G. 2015. Ontology-Driven Conceptual Modeling: A Systematic Literature Mapping and Review. Applied Ontology. 10 (3-4), pp. 197-227. https://doi.org/10.3233/AO-150154

Ontology-based standards development: Application of OntoStanD to ebXML business process specification schema
Heravi, B.R., Lycett, M. and de Cesare, S. 2014. Ontology-based standards development: Application of OntoStanD to ebXML business process specification schema. International Journal of Accounting Information Systems. 15 (3), pp. 275-297. https://doi.org/10.1016/j.accinf.2014.01.005

Permalink - https://westminsterresearch.westminster.ac.uk/item/q2xvv/formalization-of-the-classification-pattern-survey-of-classification-modeling-in-information-systems-engineering


Share this

Usage statistics

127 total views
130 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.