Abstract:Model driven engineering aims to shorten the development cycle by focusing on abstractions and partially automating code generation. We long lived in the myth of automatic Model Driven Development (MDD) with promising approaches, techniques, and tools. Describing models should be a main concern in software development as well as model verification and model transformation to get running applications from high level models. We revisit the subject of MDD through the prism of experimentation and open mindness. In this article, we explore assistance for the stepwise transition from the model to the code to reduce the time between the analysis model and implementation. The current state of practice requires methods and tools. We provide a general process and detailed transformation specifications where reverse-engineering may play its part. We advocate a model transformation approach in which transformations remain simple, the complexity lies in the process of transformation that is adaptable and configurable. We demonstrate the usefulness, and scalability of our proposed MDD process by conducting experiments. We conduct experiments within a simple case study in software automation systems. It is both representative and scalable. The models are written in UML; the transformations are implemented mainly using ATL, and the programs are deployed on Android and Lego EV3. Last we report the lessons learned from experimentation for future community work.

Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution

An Algebraic Approach to Bidirectional Model Transformation

Writing Bidirectional Model Transformations As Intentional Updates

Feature-based Classification of Bidirectional Transformation Approaches

Putback-based Bidirectional Model Transformations

A Compositional Approach to Bidirectional Model Transformation

Maintaining Invariant Traceability Through Bidirectional Transformations

From Bidirectional Model Transformation to Model Synchronization

From State- to Delta-Based Bidirectional Model Transformations

Supporting Parallel Updates with Bidirectional Model Transformations

An Evolutionary Development Model Supporting Executable Specification

A Theoretic Framework of Bidirectional Transformation Between Systems and Models

Towards Variability Management in Bidirectional Model Transformation

GRoundTram: an Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations

A Model-Driven Approach for Model Transformations

Testing bidirectional model transformation using metamorphic testing.

Assistance in Model Driven Development: Toward an Automated Transformation Design Process

Synchronized Architecture Evolution in Software Product Line Using Bidirectional Transformation

A three-dimensional taxonomy for bidirectional model synchronization

KBX: Verified Model Synchronization via Formal Bidirectional Transformation

Blinkit: Maintaining Invariant Traceability Through Bidirectional Transformations - A Technical Report