Multi-Level Theory

This is a resources page for the MLT Multi-Level Theory. MLT formally characterizes the nature of classification levels, and precisely defines the relations that may occur between elements of different classification levels, generalizing the notion of power type.

A gentle introduction to MLT can be found at:

Original paper describing MLT:

 Paper describing MLT*, a generalization of MLT to account for broader multi-level phenomena:

  • Almeida J.P.A., Fonseca C.M., Carvalho V.A. (2017) A Comprehensive Formal Theory for Multi-level Conceptual Modeling. Proc. Conceptual Modeling. ER 2017. Lecture Notes in Computer Science, vol 10650. Springer, Cham [pdf]

MLT Repository on Github with formal specifications in Alloy:

MLT Repository on Github with OWL ontology reflecting MLT rules:

M.Sc. thesis describing the ML2 language based on MLT*: ml2-dissertation

A paper presenting ML2 was award the best student paper at ER 2018:

  • Fonseca C.M., Almeida J.P.A., Guizzardi, G. Carvalho V.A. (2018) Multi-Level Conceptual Modeling:
    From a Formal Theory to a Well-Founded Language. ER 2018. Lecture Notes in Computer Science. Springer, Cham [pdf]

A fully-featured ML2-Editor for Eclipse, including syntax verification, highlight, auto-complete and model simulation with Alloy.

Slides of the ER 2019 Tutorial: “Multi-Level Modeling with Powertypes: What you can do, What you can’t do, and How to achieve more with a foundational theory

ML2 presentation (slides used in Dagstuhl seminar on Multi-Level Modeling): ml2-presentation