Download

The JTL approach has been implemented as a set of plug-ins of the Eclipse framework and mainly exploits the Eclipse Modelling Framework (EMF) and the ATLAS Model Management Architecture (AMMA). Morever, the DLV solver has been wrapped and integrated in the overall enviroment.

The JLT framework is part of a very recent work, its related prototype is described below.

The source code of the prototype of the JTL approach is composed of two main archives:

  1. EMF_ASPtechnologicalBridge.rar: contains the TCS and ATL parts of the technological bridge between EMF and ASP. It is composed of three Eclipse projects: ASPmm and ASPm, operating at the metamodeling and modeling level respectively, and ASPecore, defining the ATL-related part of the technological bridge;
  2. JTL_ASPsemanticMapping.rar: contains the TCS and ATL parts of the semantic anchoring between the JTL and the ASP. It is composed of two Eclipse projects: ASPtransformations defines the ATL-related part of the mapping, while ASPjtl contains the TCS part.
  3. ASPsolver.rar: makes use of a Java wrapper for the DLV ASP solver in order to execute the ASP-based model transformations. The generic bidirectional execution engine is also stored in here.
  4. StateMachineCaseStudy.rar: it contains the metamodels, models, and generated transformations. The case study refers the Collapse/Expand State Diagrams benchmark defined in the GRACE International Meeting on Bidirectional Transformations: starting from a hierarchical state diagram (involving some nesting), a flat view has to be provided. Furthermore, any manual modifications on the (target) flat view should be back propagated and eventually reflected in the (source) hierarchical view.
  5. UML2RDBMSCaseStudy.rar: it contains the metamodels, models, and transformations. The case study refers the standard UML to RDBMS transformation, which relates uml class diagrams to relational database models.
  6. Comparison.rar: JTL is compared with other existing bidirectional model transformation language. In particular, the UML2RDBMS transformation has been specified by means of the following tools: i) Medini, which is an implementation of the QVT-R transformation language, ii) MOFLON, which is a framework which bases on Triple Graph Grammars (TGGs), and iii) Boomerang, which is a programming language for writing lenses as bidirectional transformations between XML documents.
  7. JTLExplorer.rar: it contains the metamodels, models, and transformations. The case study refers to the AUTOSAR platform modeling.
  8. UML2QN.rar: it contains the metamodels, models, and transformations. The case study refers to the UML to QN transformation, which relates software architectural models (UML-MARTE models) to performance models (Queuing Networks).
  9. Emorf_UML2RDBMS.rar: it contains the metamodels, models, and transformations. The case study refers to the UML to RDBMS transformation and it is implemented by means of the EMorF tool.
  10. JTL_uncertainty.zip: it contains the MM2UMM model transformation, implemented in ATL, to generate Uncertainty metamodels. Futhermore, it containts a related case study that refers the Collapse/Expand State Diagrams benchmark. Finally, it contains the results of the evaluation of the approach.
  11. Analysis.zip: it contains the ASP-based analysis of the UML2RDBMS bidirectional transformation implemented in JTL. The analysis detects non-deterministic rules.
  12. DL2RCM.zip: it contains metamodels, models, and transformation. The case study refers to the DL to RCM transformation, which maps the architectural description language EAST-ADL (DL) to the Rubus Component Model (RCM).
  13. Collaborative_modeling_with_uncertainty.zip: it contains models, metamodels, the BPMN2UBPMN model transformation to generate the BPMN uncertainty metamodels, the Filter model tranformation for managing model with uncertainty. The case study refers to two collaborative modeling scenarios within the Learn PAd project.

For further informations, please contact Romina Eramo.