Abstract
Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent advances in multi-level modeling techniques, we believe that the literature in multi-level conceptual modeling would benefit from a theory that: (1) formally characterizes the nature of classification levels and (2) precisely defines the structural relations that may occur between elements of different classification levels. This work aims to fill this gap by proposing an axiomatic theory that can be considered a reference top-level ontology for types in multi-level conceptual modeling. The theory provides the modeler with basic concepts and patterns to articulate domains that require multiple levels of classification as well as to inform the development of well-founded languages for multi-level conceptual modeling. The whole theory is founded on a basic instantiation relation and characterizes the concepts of individuals and types, with types organized in levels related by instantiation. Further, it includes intra-level structural relations that are used to define expressive multi-level models and cross-level relations that allow us to account for and incorporate the different notions of power type in the literature.
Similar content being viewed by others
Notes
This discussion is extended in this paper in Sect. 4, where we show how the definitions are related to each other and how they can be given different uses.
We are aware that certain approaches such as RM-ODP distinguish the terms instantiation and instance, but this distinction is not required here, and hence, we use the terms interchangeably.
Note that in biology there is a long and involved debate on the ontological status of taxa such as species [15]. One of the interpretations is that biological taxa (e.g., the “Homo sapiens” species, the “Canis Lupus Familiaris” species) represents a group of animals rather than a kind or type of animal. We stay clear of this debate and represent species (and other taxa) as the type that is instantiated by all members of that group (and only by them) (e.g., “Human” and “Dog”).
Datatypes such as String and Integer can be considered first-order types whose instances (e.g., the integer value “1” and the string “xyz”) are “abstract entities” (see [21], p. 327).
A more comprehensive definition would acknowledge that differences in various regularity attributes simultaneously may cancel each other’s effects on the intension; thus, we could add a ceteris paribus clause to definition D12, which would then state that an attribute a is a regularity attribute iff different values for a with all other things equal would result in a different type.
For the sake of simplicity, we have assumed here that the classes are not abstract. The semantic mapping becomes even more involved in the presence of abstract classes.
The full specification of the theory in Alloy can be found in https://github.com/jpalmeida/mlt-ontology.
References
Atkinson, C., Gerbig, R.: Melanie: multi-level modeling and ontology engineering environment. In: Proceedings of the 2nd International Master Class on Model-Driven Engineering Modeling Wizards—MW’12. New York, USA (2012)
Atkinson, C., Kühne, T.: Meta-level independent modeling. In: International Workshop “Model Engineering” (in Conjunction with ECOOP’2000), Cannes, France (2000)
Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003)
Atkinson, C., Kühne, T.: Processes and products in a multi-level metamodeling architecture. Int. J. Softw. Eng. Knowl. Eng. 11(6), 761–784 (2001)
Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345–359 (2008)
Atkinson, C., Kühne, T.: The essence of multilevel modeling. In: Proceedings of the 4th International Conference on the Unified Modeling Language, pp. 19–33. Toronto, Canada (2001)
Atkinson, C.: Metamodelling for distributed object environments. In: First International Enterprise Distributed Object Computing Workshop (EDOC’97). Brisbane, Australia (1997)
Bealer, G.: Quality and Concept. Clarendon Press, Oxford (1982)
Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th ACM Symposium of Principles of Programming Languages, pp. 70–79 (1988)
Carvalho, V.A., Almeida, J.P.A.: A semantic foundation for organizational structures: a multi-level approach. In: Proceedings of the Enterprise Computing Conference (EDOC2015) (2015)
Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using reference domain ontologies to define the real-world semantics of domain-specific languages. In: Proceedings 26th International CAiSE Conference (CAiSE 2014), pp. 488–502. Springer, Heidelberg (2014)
Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi G.: Extending the foundations of ontology-based conceptual modeling with a multi-level theory. In: 35th International Conference on Conceptual Modeling (ER 2015), pp. 119–133 (2015)
Chen, P.P.: The entity-relationship model: toward a unified view. ACM Transactions on Database Systems 1(1), 9–36 (1976)
Coquand, T.: Type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http://plato.stanford.edu/archives/fall2014/entries/type-theory/ (2014)
Ereshefsky, M.: Species. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2010 Edition). http://plato.stanford.edu/archives/spr2010/entries/species/ (2010)
Eriksson, O., Henderson-Sellers, B., Ågerfalk, P.J.: Ontological and linguistic metamodeling revisited: a language use approach. Inf. Softw. Technol. 55(12), 2099–2124 (2013)
Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5(1), 72–90 (2006)
Guarino, N., Welty, C.: Evaluating ontological decisions with OntoClean. Commun. ACM 45(2), 61–65 (2002)
Guarino, N.: The ontological level. In: Casati, R., Smith, B., White, G. (eds.) Philosophy and the Cognitive Science, pp. 443–456. Holder-Pivhler-Tempsky, Vienna (1994)
Guarino, N., Guizzardi, G.: “We need to discuss the relationship”: revisiting relationships as modeling constructs. In: Proceedings of the 27th International CAiSE Conference (CAiSE 2015), pp. 488–502 (2015)
Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. University of Twente, Enschede (2005)
Guizzardi, G. et al.: Towards an ontological analysis of powertypes. In: Proceedings of the International Workshop on Formal Ontologies for Artificial Intelligence (FOFAI 2015), 24th International Joint Conference on Artificial Intelligence (2015)
Henderson-Sellers, B.: On the Mathematics of Modeling, Metamodelling, Ontologies and Modelling Languages. Springer, Berlin (2012)
Jackson, D.: Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge (2006)
Kennel, B.: A Unified Framework for Multi-level Modeling. University of Mannheim, Mannheim (2012)
Kühne, T.: Contrasting classification with generalisation. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling. Wellington, New Zealand (2009)
Lara, J. de, Guerra, E.: Deep meta-modelling with MetaDepth. In: Proceedings of the 48th International Conference, TOOLS 2010. Málaga, Spain (2010)
Lara, J. de, Guerra, E., Cuadrado, J. S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24(2), 1–46, 23 (2014)
Lara, J. et al.: Extending deep meta-modelling for practical model-driven engineering. Comput. J. 57(1):36–58 (2013)
Jarke, M., Gallersdörfer, R., Jeusfeld, M.A., Staudt, M.: ConceptBase—a deductive object base for meta data management. J. Intell. Inf. Syst. 4(2), 167–192 (1995)
Mayr, E.: The Growth of Biological Thought: Diversity, Evolution, and Inheritance. Belknap Press, Cambridge (1982)
Montague, R.: Formal philosophy: selected papers of Richard Montague. In: Thomasson, R. (eds.) Paperback, p.370. Yale University Press, New Haven (1974)
Mylopoulos, J.: Conceptual modeling and Telos. In: Loucopoulos, P., Zicari, R. (eds.) Conceptual Modeling, Databases and CASE, pp. 49–68. Wiley, New York (1992)
Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4), 325–362 (1990)
Nardi, J.C., Falbo, R., Almeida, J.P.A., Guizzardi, G., Ferreira Pires, L., van Sinderen, M., Guarino, N.: Towards a commitment-based reference ontology for services. In: Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2013), pp. 175–184. IEEE Computer Society Press (2013)
Neumayr, B., Grün, K., Schrefl, M.: Multi-level domain modeling with m-objects and m-relationships. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling. Wellington, New Zealand (2009)
Neumayr, B., Jeusfeld, M. A., Schrefl, M., Schütz, C.: Dual deep instantiation and It ConceptBase implementation. In: Proceedings 26th International CAiSE Conference (CAiSE 2014), pp. 503–517. Springer, Heidelberg (2014)
Neumayr, B., Schrefl, M., Thalhiem, B.: Modeling techniques formulti-level abstraction. In: Kaschek, R., Delcambre, L. (eds.) LNCS, vol. 6520, pp 68–92. Springer, Heidelberg (2011)
Odell, J.: Power types. J. Object Oriented Program. 7(2), 8–12 (1994)
Olivé, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)
OMG : UML Superstructure Specification—Version 2.4.1 (2011)
OMG: Meta Object Facility (MOF) Core Specification—Version 2.4.1 (2013)
Pereira, D., Almeida, J.P.A.: Representing organizational structures in an enterprise architecture language. In: Proceedings of the 6th Workshop on Formal Ontologies meet Industry (FOMI 2014), Rio de Janeiro (2014)
Pirotte, A., Zimanyi, E., Massart, D., Yakusheva, T.: Materialization: a powerful and ubiquitous abstraction pattern. In: Bocca, J., Jarke, M., Zaniolo, C. (eds.) Proceedings of the 20th International Conference on Very Large DataBases (VLDB’94), pp. 630–641 (1994)
Recker, J., Rosemann, M., Green, P., Indulska, M.: Do Ontological Deficiencies in Modeling Grammars Matter? MIS Q. 35(1), 1–9 (2011)
Rossini, A., et al.: A formalisation of deep metamodelling. Form. Asp. Comput. 26(6), 1115–1152 (2014)
Steinberg, D., Budinsky, F.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Boston (2008)
Swoyer, C., Orilia, F.: Properties. In: Zalta, E.N. (eds.) The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http://plato.stanford.edu/archives/fall2014/entries/properties/ (2014)
W3C: OWL 2 Web Ontology Language—Structural Specification and Functional-Style Syntax (Second Edition). https://www.w3.org/TR/2012/REC-owl2-syntax-20121211 (2012)
Acknowledgements
This research is partly funded by the Brazilian Research Funding Agencies CAPES, CNPq (Grant Numbers 311313/2014-0, 485368/2013-7, 461777/2014-2) and FAPES (Grant Number 69382549).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Prof. Colin Atkinson, Thomas Kühne, and Juan de Lara.
Rights and permissions
About this article
Cite this article
Carvalho, V.A., Almeida, J.P.A. Toward a well-founded theory for multi-level conceptual modeling. Softw Syst Model 17, 205–231 (2018). https://doi.org/10.1007/s10270-016-0538-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-016-0538-9