Dynamic Multi-Layer Algebra (DMLA)

DMLA is a multi-level instantiation technique based on Abstract State Machines (ASM). DMLA consists of two major parts: The first part (the Core) defines the modeling structure, namely an abstract state machine and a set of connected functions that specify the transition logic between the states. The second part (the Bootstrap) is an initial set of modeling constructs, built-in model elements (e.g. built-in types) that are necessary to adapt the abstract modeling structure to practical applications. The bootstrap also contains the formal definition of the precise instantiation mechanism via reified validation constructs. The two parts have been intentionally kept separate because the algebraic part is structurally self-contained and isolated from the particularities of the different bootstraps. Hence, any particular bootstrap genuinely seeds the concrete metamodeling capabilities derived from the generic DMLA, which may be considered as one of its most novel aspects when it is compared to the unlimited and universal modeling capability potency notion provides at all meta-levels. In effect, the proper selection of bootstrap entities fully determines the expressibility of DMLA's modeling capabilities available on lower meta-levels.




  • 4th International Workshop on Multi-Level Modeling @ MODELS 2017 - Presentation (link)

Bootstraps and examples:


Demo version 



  • Z. Theisz and G. Mezei, "Towards a novel meta-modeling approach for dynamic multi-level instantiation" in Automation and Applied Computer Science Workshop, Budapest, Hungary, 2015.(https://www.aut.bme.hu/Upload/Pages/Research/VMTS/Papers/aacs2015_TheiszMezei.pdf)
  • Z. Theisz and G. Mezei, "An Algebraic Instantiation Technique Illustrated by Multilevel Design Patterns" in MULTI@MoDELS, Ottawa, Canada, 2015. (http://ceur-ws.org/Vol-1505/p6.pdf)
  • Z. Theisz and G. Mezei, "Multi-level Dynamic Instantiation for Resolving Node-edge Dichotomy" in Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 2016. 
  • D. Urbán, Z. Theisz and G. Mezei, "Formalism for Static Aspects of Dynamic Metamodeling" Periodica Polytechnica Electrical Engineering and Computer Science, vol. 61, no. 1, pp. 34-47, 2017. (htpts://pp.bme.hu/eecs/article/view/9547)