MoDEBiTE

Model Driven Engineering of Bidirectional Transformation via Epsilon


Introduction

Bidirectional model transformations (Bx) are considered as one of the cornerstones of model-driven engineering paradigm. Bx re-establishes the consistency between the source and target models, when they are evolved independently. we propose an interactive Bx approach via inter-model validation which enables developers synchronizing models with reconciliation. The proposed Bx system is implemented using the Epsilon Validation Language (EVL). The Model-driven development (MDD) technique is applied to (semi-) automatically generate the Bx code ( EVL+Strace) from a designed weaving model, using a set of higher order model transformations. We have implemented a plugin as the tool support for our framework; The pluging is called MoDEBiTE whcih stands for "Model Driven Engineering of Bidirectional Transformation via Epsilon."


Installing

MoDEBiTE is deployed over the Eclipse Modeling Tools 4.5 (Mars) and Epsilon 1.3. The following steps are required.
Note that, MoDEBiTE has been tested with Eclipse Neon and Epsilon 1.4.

Framework

The MoDEBiTE framework

Running

This example is updated for the 2nd submission of the IST paper.

The following files are prepared to test the plugin. Click the MoDEBiTE icon, then load the source and target metamodels. The ModeLink editor is opened automatically to design the weaving model. Replace the model by the below file. Right-Click on the WeavingModel.xmi in the Package Explorer and then click Bx Generation via Epsilon to generate the domain-specific trace metamodel and the implemented code. Please note that if the links show an empty page, it will be needed to right click on them and click "save link as..." The generated EVL and EOL files with examples of source, trace, and target models can be accessed from the hyperlinks. You can access the complete project from here.

Case Studies for ComLan paper (Submitted in July 2018)

Case1

Case2

Case3

Case4

Case5

Case6
contact: Leila Samimi ([samimi] AT [eng] DOT [ui] DOT [ac] DOT [ir]) (Please contact with this email if there is any question about the approach.)

Related Publications

  1. Leila Samimi-Dehkordi, Bahman Zamani, and Shekoufeh Kolahdouz-Rahimi. "EVL+ Strace: a novel bidirectional model transformation approach.",Information and Software Technology 100 (2018), 47-72.
  2. Leila Samimi-Dehkordi, Bahman Zamani, and Shekoufeh Kolahdouz-Rahimi. "Solving the Families to Persons Case using EVL+Strace", the 10th Transformation Tool Contest (TTC), 21 July 2017 (won 2 awards).
  3. Leila Samimi-Dehkordi, Bahman Zamani, and Shekoufeh Kolahdouz-Rahimi. "A New Approach for Bidirectional Model Transformation Based on the Epsilon Framework", the Tabriz Journal of Electrical Engineering (TJEE), in press , Summer, 1395 (in Persian)
  4. Leila Samimi-Dehkordi, Bahman Zamani, and Shekoufeh Kolahdouz-Rahimi. "Bidirectional Model Transformation Based on the Epsilon Framework", the Computing Science Journal (CSJ), Vol. 1, No.1,pp. 29-44, Summer, 1395 (in Persian)
  5. Leila Samimi-Dehkordi, Bahman Zamani, and Shekoufeh Kolahdouz-Rahimi. "Bidirectional Model Transformation Approaches- A Comparative Study", the 6th International eConference on Computer and Knowledge Engineering (ICCKE 2016)
  6. Leila Samimi-Dehkordi, Bahman Zamani, and Shekoufeh Kolahdouz-Rahimi. "From trace-based inter-model validation to bidirectional model synchronization with reconciliation", the 5th International eConference on Computer and Knowledge Engineering (ICCKE 2015)
  7. Leila Samimi-Dehkordi, Alireza Khalilian, and Bahman Zamani. "Programming Language Criteria for Model Transformation Evaluation", the 4th International eConference on Computer and Knowledge Engineering (ICCKE 2014)