Abstract
Conceptual models are often built with techniques that propose a strict stratification of entities into two classification levels: a level of types (or classes) and a level of instances. Multi-level conceptual modeling extends the conventional two-level scheme by admitting that types can be instances of other types, giving rise to multiple levels of classification. Nevertheless, the vast majority of tools and techniques are still confined to the two-level scheme, and hence cannot be used for multi-level models directly. We show here how a multi-level model in ML2 can be transformed into a two-level specification in the formal modeling technique Alloy, thereby leveraging the Alloy analyzer to multi-level models.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Almeida, J.P.A., Fonseca, C.M., Carvalho, V.A.: A comprehensive formal theory for multi-level conceptual modeling. In: Mayr, H.C., Guizzardi, G., Ma, H., Pastor, O. (eds.) ER 2017. LNCS, vol. 10650, pp. 280–294. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-69904-2_23
Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003)
Atkinson, C., Kühne, T.: Meta-level independent modelling. In: Proceedings of the 14th ECOOP (2000)
Atkinson, C., Kühne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45441-1_3
Brasileiro, F., Almeida, J.P.A., Carvalho, V.A., Guizzardi, G.: Applying a multi-level modeling theory to assess taxonomic hierarchies in Wikidata. In: Proceedings of the 25th WWW (2016)
Brasileiro, F., Almeida, J.P.A., Carvalho, V.A., Guizzardi, G.: Expressive multi-level modeling for the semantic web. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 53–69. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46523-4_4
Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th POPL (1988)
Carvalho, V.A., Almeida, J.P.A.: Toward a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model. 17, 205–231 (2018)
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: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 119–133. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25264-3_9
Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi, G.: Multi-level ontology-based conceptual modeling. Data Knowl. Eng. 109(C), 3–24 (2017)
Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using a well-founded multi-level theory to support the analysis and representation of the powertype pattern in conceptual modeling. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 309–324. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39696-5_19
Fonseca, C.M.: ML2: an expressive multi-level conceptual modeling language. Master’s thesis. Federal University of Espírito Santo (2017)
Fonseca, C.M., Almeida, J.P.A., Guizzardi, G., Carvalho, V.A.: Multi-level conceptual modeling: from a formal theory to a well-founded language. In: Trujillo, J.C., et al. (eds.) ER 2018. LNCS, vol. 11157, pp. 409–423. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00847-5_29
Foxvog, D.: Instances of instances modeled via higher-order classes. In: FOnt 2005 Workshop, Proceedings of the 28th KI (2005)
Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5, 72–90 (2006)
Guizzardi, G.: On ontology, ontologies, conceptualizations, modeling languages, and (meta)models. Front. Artif. Intell. Appl. 155, 18 (2007)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)
Kimura, K., et al.: Practical multi-level modeling on MOF-compliant modeling frameworks. In: Proceedings of the 2nd MULTI Workshop (2015)
Kühne, T., Schreiber, D.: Can programming be liberated from the two-level style: multi-level programming with DeepJava. In: Proceedings of the 22nd OOPSLA (2007)
Lara, J.D., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. (TOSEM) 24, 12 (2014)
Macías, F., Rutle, A., Stolz, V.: MultEcore: combining the best of fixed-level and multilevel metamodelling. In: Proceedings of the 3rd MULTI Workshop (2016)
Mayr, E.: The Growth of Biological Thought: Diversity, Evolution, and Inheritance. Harvard University Press, Cambridge (1982)
Neumayr, B., Grün, K., Schrefl, M.: Multi-level domain modeling with m-objects and m-relationships. In: Proceedings of the 6th APCCM (2009)
Odell, J.: Power types. J. OO Program. 7, 8–12 (1994)
Acknowledgments
This work has been partially supported by CNPq (407235/2017-5, 312123/2017-5), CAPES (23038.028816/2016-41), FAPES (69382549) and FUB (OCEAN Project).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Almeida, J.P.A., Musso, F.A., Carvalho, V.A., Fonseca, C.M., Guizzardi, G. (2019). Capturing Multi-level Models in a Two-Level Formal Modeling Technique. In: Laender, A., Pernici, B., Lim, EP., de Oliveira, J. (eds) Conceptual Modeling. ER 2019. Lecture Notes in Computer Science(), vol 11788. Springer, Cham. https://doi.org/10.1007/978-3-030-33223-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-33223-5_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-33222-8
Online ISBN: 978-3-030-33223-5
eBook Packages: Computer ScienceComputer Science (R0)