Objective The goal of this study is to identify gaps and challenges related to cross-domain
model management focusing on consistency checking. Method We conducted a systematic …

Model-Based testing (MBT) is a technique to derive test cases from models of the system
under test (SUT), and the UML is the leading and de-facto standard language for system …

In this article, we address how the production of model transformations (MT) can be
accelerated by automation of transformation synthesis from requirements, examples, and …

Context: Software quality engineering is increasingly gaining interests also in the Model-
Driven Engineering community as testified by a large corpus of research that has been …

Context Model driven development envisages the use of model transformations to evolve
models. Model transformation languages, developed for this task, are touted with many …

Data-intensive applications aim at discovering valuable knowledge from large amounts of
data coming from real-world sources. Typically, workflow languages are used to specify …

Domain-specific languages (DSLs) allow users to model systems using concepts from a
specific domain. Evolution of DSLs triggers co-evolution of models developed in these …

Over the past years, there has been an increase in the application of model driven
engineering in industry. Similar to traditional software engineering, understanding how …

Cloud-native architectures are often based on microservices and combine different aspects
that aim to leverage the capabilities of cloud platforms for software development. Cloud …

Conventional wisdom on model transformations in Model-Driven Engineering (MDE)
suggests that they are crucial components in modeling environments to achieve superior …