DeepAI AI Chat
Log In Sign Up

Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour

by   Fernando Macías, et al.

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.


Multilevel Modelling and Domain-Specific Languages

Modern software engineering deals with demanding problems that yield lar...

Multilevel Typed Graph Transformations

Multilevel modeling extends traditional modeling techniques with a poten...

Multi-Scale Verification of Distributed Synchronisation

Algorithms for the synchronisation of clocks across networks are both co...

CHAMELEON: OutSystems Live Bidirectional Transformations

In model-driven engineering, the bidirectional transformation of models ...

Feather: A Feature Model Transformation Language

Feature modeling has been a very popular approach for variability manage...

Simulation of emergence in artificial societies: a practical model-based approach with the EB-DEVS formalism

Modelling and simulation of complex systems is key to exploring and unde...

Enhancing syntax expressiveness in domain-specific modelling

Domain-specific modelling helps tame the complexity of today's applicati...