MLT – 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.

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 specification in Alloy:

MLT Repository on Github with OWL ontology reflecting MLT rules:

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

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