Formal executable theory of multilevel modeling

Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations


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.

Original languageEnglish
Title of host publicationAdvanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Proceedings
EditorsJohn Krogstie, Hajo A. Reijers
PublisherSpringer Verlag
Number of pages16
ISBN (Print)9783319915623
StatePublished - 1 Jan 2018
Event30th International Conference on Advanced Information Systems Engineering, CAiSE 2018 - Tallinn, Estonia
Duration: 11 Jun 201815 Jun 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10816 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference30th International Conference on Advanced Information Systems Engineering, CAiSE 2018


  • Class facet
  • Executable logic
  • Herbrand semantics
  • Multi-level modeling
  • Object facet

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Formal executable theory of multilevel modeling'. Together they form a unique fingerprint.

Cite this