Multilevel coupled model transformations for precise and reusable definition of model behaviour

Fernando Macías,Uwe Wolter,Adrian Rutle,Francisco Durán,Roberto Rodriguez-Echeverria
DOI: https://doi.org/10.1016/j.jlamp.2018.12.005
IF: 1.088
2019-08-01
Journal of Logical and Algebraic Methods in Programming
Abstract:The use of Domain-Specific Languages (DSLs) is a promising field for the development of tools tailored to specific problem spaces, effectively diminishing the complexity of hand-made software. With the goal of making models as precise, simple and reusable as possible, we augment DSLs with concepts from multilevel modelling, where the number of abstraction levels are not limited. This is particularly useful for DSL definitions with behaviour, whose concepts inherently belong to different levels of abstraction. Here, models can represent the state of the modelled system and evolve using model transformations. These transformations can benefit from a multilevel setting, becoming a precise and reusable definition of the semantics for behavioural modelling languages. We present in this paper the concept of Multilevel Coupled Model Transformations, together with examples, formal definitions and tools to assess their conceptual soundness and practical value.
computer science, theory & methods,logic
What problem does this paper attempt to address?