Over the years, a number of approaches have been proposed on the description of systems
and software in terms of multiple views represented by models. This modelling branch, so …

The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …

To cope with the challenge of managing the complexity of automated production systems,
model-based approaches are applied increasingly. However, due to the multitude of …

During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

Model-based Systems Engineering (MBSE) advocates the use of models in every stage of
development, leading to large number of models that need coordination, collaboration, and …

The model-driven development of systems involves multiple models, metamodels and
transformations, and relationships between them. A bidirectional transformation (bx) is …

Abstract Model management is a central activity in Software Engineering. The most
challenging aspect of model management is to keep inter-related models consistent with …

Multiple (more than 2) model synchronization is ubiquitous and important for MDE, but its
theoretical underpinning gained much less attention than the binary case. Specifically, the …

Models are used to describe different properties of a software system. Those models often
share information that is represented redundantly and, thus, has to be kept consistent …

The synchronisation of n≥ 2 heterogenously typed models requires a thorough
understanding of global consistency rules. After having related these models by determining …