A Digital Twin (DT) of a production plant is a digital replica of the plant's physical assets
which contains the structure and the dynamics of how the devices and process operate …

Acceptance testing is a validation activity performed to ensure the conformance of software
systems with respect to their functional requirements. In safety critical systems, it plays a …

Abstract Model-driven engineering (MDE) and search-based software engineering (SBSE)
are both relevant approaches to software engineering. MDE aims to raise the level of …

Abstract Model transformations can be used in many different application scenarios, for
instance, to provide interoperability between models of different size and complexity. As a …

Abstract Triple Graph Grammars (TGGs) are a technique for defining the correspondence
between two different types of models in a declarative way. The power of TGGs comes from …

With the advent of model-driven engineering (MDE) several model transformation
approaches and languages have been developed in the previous 5 years. Most of these …

Model transformation programs are iteratively refined, restructured, and evolved due to
many reasons such as fixing bugs and adapting existing transformation rules to new …

Abstract Model-Driven Engineering (MDE) places models as first-class artifacts throughout
the software lifecycle. In this context, model transformations are crucial for the success of …

Model transformations are a key element in any model-driven engineering approach. But
writing them is a time-consuming and error-prone activity that requires specific knowledge of …

Abstract Model transformation (MT) has become an important concern in software
engineering. In addition to its role in model-driven development, it is useful in many other …