A bidirectional transformation (BX) keeps a pair of interrelated models synchronized.
Symmetric BXs are those for which neither model in the pair fully determines the other. We …

Abstract In Model Driven Engineering bidirectional transformations are considered a core
ingredient for managing both the consistency and synchronization of two or more related …

Lenses--bidirectional transformations between pairs of connected structures--have been
extensively studied and are beginning to find their way into industrial practice. However …

Runtime software architectures (RSA) are architecture-level, dynamic representations of
running software systems, which help monitor and adapt the systems at a high abstraction …

Abstract Model-driven software development often involves several related models. When
models are updated, the updates need to be propagated across all models to make them …

As it is widely recognized, a universal notation accepted by any software architect cannot
exist. This caused a proliferation of architecture description languages (ADLs) each …

Abstract In recent years, Model-Driven Engineering has taken a leading role in advancing a
new paradigm shift in software development. Leveraging models to a first-class status is at …

Concurrent model synchronization is the task of restoring consistency between two
correlated models after they have been changed concurrently and independently. To …

Evolution is inherent to software systemsbecause of the rapid improvement of technologies
and business logic. As a software development paradigm, model driven engineering (MDE) …

In the context of software model-driven development, artifacts are specified by several
models describing different aspects, eg, different views, dynamic behavior, structure …