Capturing Multi-level Models in a Two-Level Formal Modeling Technique

  • João Paulo A. Almeida
  • Fernando A. Musso
  • Victorio A. Carvalho
  • Claudenir M. FonsecaEmail author
  • Giancarlo Guizzardi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11788)


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.


Multi-level modeling Model transformation 



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).


  1. 1.
    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). Scholar
  2. 2.
    Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003)CrossRefGoogle Scholar
  3. 3.
    Atkinson, C., Kühne, T.: Meta-level independent modelling. In: Proceedings of the 14th ECOOP (2000)Google Scholar
  4. 4.
    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). Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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). Scholar
  7. 7.
    Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th POPL (1988)Google Scholar
  8. 8.
    Carvalho, V.A., Almeida, J.P.A.: Toward a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model. 17, 205–231 (2018)CrossRefGoogle Scholar
  9. 9.
    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). Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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). Scholar
  12. 12.
    Fonseca, C.M.: ML2: an expressive multi-level conceptual modeling language. Master’s thesis. Federal University of Espírito Santo (2017)Google Scholar
  13. 13.
    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). Scholar
  14. 14.
    Foxvog, D.: Instances of instances modeled via higher-order classes. In: FOnt 2005 Workshop, Proceedings of the 28th KI (2005)Google Scholar
  15. 15.
    Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5, 72–90 (2006)CrossRefGoogle Scholar
  16. 16.
    Guizzardi, G.: On ontology, ontologies, conceptualizations, modeling languages, and (meta)models. Front. Artif. Intell. Appl. 155, 18 (2007)Google Scholar
  17. 17.
    Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)Google Scholar
  18. 18.
    Kimura, K., et al.: Practical multi-level modeling on MOF-compliant modeling frameworks. In: Proceedings of the 2nd MULTI Workshop (2015)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    Lara, J.D., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. (TOSEM) 24, 12 (2014)CrossRefGoogle Scholar
  21. 21.
    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)Google Scholar
  22. 22.
    Mayr, E.: The Growth of Biological Thought: Diversity, Evolution, and Inheritance. Harvard University Press, Cambridge (1982)Google Scholar
  23. 23.
    Neumayr, B., Grün, K., Schrefl, M.: Multi-level domain modeling with m-objects and m-relationships. In: Proceedings of the 6th APCCM (2009)Google Scholar
  24. 24.
    Odell, J.: Power types. J. OO Program. 7, 8–12 (1994)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • João Paulo A. Almeida
    • 1
  • Fernando A. Musso
    • 1
  • Victorio A. Carvalho
    • 2
  • Claudenir M. Fonseca
    • 3
    Email author
  • Giancarlo Guizzardi
    • 1
    • 3
  1. 1.Ontology and Conceptual Modeling Research Group (NEMO)Federal University of Espírito Santo (UFES)VitóriaBrazil
  2. 2.Federal Institute of Espírito Santo (IFES)ColatinaBrazil
  3. 3.Conceptual and Cognitive Modeling Research Group (CORE)Free University of Bozen-BolzanoBolzanoItaly

Personalised recommendations