Change Propagation with DUALLy and the ASP-based approach


Overview

One of the main issues in DUALLy in its current shape consists in its mechanisms to manage the synchronization among interoperating models. In this work, we propose a convergent change propagation approach between multiple architectural languages. The approach exploits the underlying languages topology of DUALLy which plays a key role in the correct, convergent, and automated synchronization of multiple architectural models. The approach that we propose is generic since it depends neither on the notations to synchronize nor on their corresponding models. It is implemented within the Eclipse modeling framework.

Prototype

This specific result is part of a very recent work, its related prototype is described below.

The source code of the prototype of our change propagation approach for ADLs is composed of two main archives:

  1. TCS_ASPtechnologicalBridge.rar: contains the TCS part of the technological bridge between EMF and ASP. It is composed of two Eclipse projects: ASPmm and ASPm, operating at the metamodeling and modeling level, respectively.
  2. SOSYMcaseStudyPrototype.rar: it is the main part of the prototype, it is composed of three Eclipse projects.
    • ASPecore defines the ATL-related part of the technological bridge;
    • SOSYMcaseStudy contains the metamodels, models, weaving models and generated transformations described in the case study section of the paper;
    • TestWrapper makes use of a Java wrapper for the Smodels ASP solver in order to execute the ASP-based model transformations. The generic transformation engine is also stored in here.

Weaving models and the transformation generating the ASP relations have been implemented by using an extended version of the DUALLy framework (available here).

For further informations, please contact Ivano Malavolta.