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:
- Almeida J.P.A, Carvalho V.A., Brasileiro F., Fonseca C.M., Guizzardi G. (2018), Multi-Level Conceptual Modeling: Theory and Applications, http://ceur-ws.org/Vol-2228/invited2.pdf
Original paper describing MLT:
- Carvalho V.A. & Almeida J.P.A (2018). Software & Systems Modeling, 17: 205. [pdf] https://doi.org/10.1007/s10270-016-0538-9
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: https://github.com/jpalmeida/mlt-ontology
MLT Repository on Github with OWL ontology reflecting MLT rules: https://github.com/freddybrasileiro/mlt-owl
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