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 …

Today's software systems tend to be long-living and often process security-critical data, so
kee** up with ever-changing security measures, attacks, and mitigations is critical to …

Graph transformation is a mature formalism often used as a basis for model transformation
tools. Although numerous graph transformation tools exist, very few explore the paradigm of …

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 …

Software development is a complex task. The success of a software project highly relies on
the involvement of domain experts in the development process. In recent years, therefore …

Design and development of complex software systems usually comprises multiple inter-
related models, ie abstract representations of certain aspects of the underlying system. The …

Sequences of rule applications in high-level replacement systems are difficult to adapt.
Often, replacing a rule application at the beginning of a sequence, ie, reverting a rule and …

Systematic model-driven design and early validation enable engineers to verify that a
reactive system does not violate its requirements before actually implementing it …

In collaboration scenarios, we often encounter situations in which semantically interrelated
models are changed concurrently. Concurrent model synchronization denotes the task of …

Comprehensive privacy mechanisms are essential in the pervasive internet-of-things
systems of today, which are comprised of multiple distributed devices and diverse software …