In the area of model-driven engineering, model transformations are proposed as the
technique to systematically manipulate models. For increasing development productivity as …

Domain-Specific Languages (DSLs) are now developed for a wide variety of domains to
address specific concerns in the development of complex systems. When engineering new …

The complexity of cyber–physical systems (CPSs) is commonly addressed through complex
workflows, involving models in a plethora of different formalisms, each with their own …

The correct representation of the relevant properties of a system is an essential requirement
for the effective use and wide adoption of model-based practices in industry. Uncertainty is …

Omniscient debugging is a promising technique that relies on execution traces to enable
free traversal of the states reached by a system during an execution. While some General …

Abstract Executable Domain-Specific Modeling Languages (xDSMLs) enable the
application of early dynamic verification and validation (V&V) techniques for behavioral …

In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …

The increasing popularity of model-based and low-code platforms has raised the need to
understand large models–especially in industrial settings. However, current approaches …

Executable domain-specific languages (DSLs) enable the execution of behavioral models.
While an execution is mostly driven by the model content (eg, control structures), many use …

Abstract Model transformations are essential elements of model-driven engineering (MDE)
solutions, as they enable the automatic manipulation of models. MDE promotes the creation …