@inproceedings{8426320f88cb48648a3000ed061383f4,
title = "Formal executable theory of multilevel modeling",
abstract = "Multi-Level Modeling (MLM) conceptualizes software models as layered architectures of sub-models that are inter-related by the instance-of relation, which breaks monolithic class hierarchies midway between subtyping and interfaces. This paper introduces a formal theory of MLM, rooted in a set-theoretic semantics of class models. The MLM theory is validated by a provably correct translation into the FOML executable logic. We show how FOML accounts for inter-level constraints, rules, and queries. In that sense, FOML is an organic executable extension for MLM that incorporates all MLM services. As much as the page budget permits, the paper illustrates how multilevel models are represented and processed in FOML.",
keywords = "Class facet, Executable logic, Herbrand semantics, Multi-level modeling, Object facet",
author = "Mira Balaban and Igal Khitron and Michael Kifer and Azzam Maraee",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG, part of Springer Nature 2018.; 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018 ; Conference date: 11-06-2018 Through 15-06-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-91563-0\_24",
language = "English",
isbn = "9783319915623",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "391--406",
editor = "John Krogstie and Reijers, \{Hajo A.\}",
booktitle = "Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Proceedings",
address = "Germany",
}