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

## TL;DR

This paper introduces Multilevel Coupled Model Transformations to enhance the precision and reusability of behavioural semantics in Domain-Specific Languages, leveraging multilevel modelling concepts.

## Contribution

It proposes a novel multilevel coupled transformation approach with formal definitions and tools, improving the semantics of behavioural DSLs.

## Key findings

- Enhanced precision in behavioural model semantics
- Increased reusability of model transformations
- Formal framework and practical tools demonstrated

## 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.