Towards Model Round-Trip Engineering: An Abductive Approach

Hettel, Thomas; Lawley, Michael; Raymond, Kerry

doi:10.1007/978-3-642-02408-5_8

Cited by 13 publications

(7 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Model transformation experts found in logic programming a resource to implement and experiment with transformations and techniques related to transformations. With the development of the technology around model transformation, logic programming is not abandoned [15,16,17,18,19,20,21,22,23,24,25,26], given that experts investigate new aspects of model transformation that existent languages and tools do not cover. Moreover, some authors argue that Prolog is still suitable to learn about model transformations.…”

Section: Model Transformation and Prologmentioning

confidence: 99%

PTL: A model transformation language based on logic programming

Almendros-Jiménez¹,

Iribarne²,

López-Fernández³

et al. 2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL (Atlas Transformation Language)-style rules are combined with logic rules for defining transformations. ATL-style rules are used to define mappings from source models to target models while logic rules are used as helpers. The implementation of PTL is based on the encoding of the ATL-style rules by Prolog rules. Thus, PTL makes use of Prolog as a transformation engine. We have provided a declarative semantics to PTL and proved the semantics equivalent to the encoded program. We have studied an encoding of OCL (Object Constraint Language) with Prolog goals in order to map ATL to PTL. Thus a subset of PTL can be considered equivalent to a subset of ATL. The proposed language can be also used for model validation, that is, for checking constraints on models and transformations. We have equipped our language with debugging and tracing capabilities which help developers to detect programming errors in PTL rules. Additionally, we have developed an Eclipse plugin for editing PTL programs, as well as for debugging, tracing and validation. Finally, we have evaluated the language with several transformation examples as well as tested the performance with large models.

show abstract

Section: Model Transformation and Prologmentioning

confidence: 99%

PTL: A model transformation language based on logic programming

Almendros-Jiménez¹,

Iribarne²,

López-Fernández³

et al. 2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

show abstract

“…Hettel et al [16] propose an approach towards model round‐trip engineering based on abductive logic programming. In particular, this approach does not place restrictions such as injective behaviour on the underlying transformations.…”

Section: Related Workmentioning

confidence: 99%

Using triple graph grammars to realise incremental round‐trip engineering

Buchmann

Westfechtel

2016

IET softw.

View full text Add to dashboard Cite

Model-driven software engineering is supported with the help of model transformations. At present, the technology for defining and executing uni-directional batch transformations seems to be fairly well developed, while bidirectional and incremental transformations are more difficult to handle. In this study, the authors present a bidirectional and incremental transformation tool for round-trip engineering between class diagrams and Java source code. Unlike other approaches, the tool may work with arbitrary Java code rather than only with source code following specific coding conventions. For its realisation, they selected triple graph grammars (TGGs) because they allow to generate bidirectional incremental transformations from a single set of undirected rules. When applying TGGs, they observed several strengths and weaknesses which are also discussed in this study.

show abstract

“…For instance, [14] proposes, based on abductive reasoning, to reverse an unidirectional transformation in order to provide synchronization of the source model with the previously obtained target model. In particular, it shares our ability to compute different alternative solutions through combinatorial logic inference.…”

Section: Related Workmentioning

confidence: 99%

Transformation as Search

Kleiner

Fabro

Santos

2013

Modelling Foundations and Applications

View full text Add to dashboard Cite

is an open access repository that collects the work of Arts et Métiers ParisTech researchers and makes it freely available over the web where possible. Abstract. In model-driven engineering, model transformations are considered a key element to generate and maintain consistency between related models. Rule-based approaches have become a mature technology and are widely used in different application domains. However, in various scenarios, these solutions still suffer from a number of limitations that stem from their injective and deterministic nature. This article proposes an original approach, based on non-deterministic constraint-based search engines, to define and execute bidirectional model transformations and synchronizations from single specifications. Since these solely rely on basic existing modeling concepts, it does not require the introduction of a dedicated language. We first describe and formally define this model operation, called transformation as search, then describe a proof-of-concept implementation and discuss experiments on a reference use case in software engineering.

show abstract

Towards Model Round-Trip Engineering: An Abductive Approach

Cited by 13 publications

References 12 publications

PTL: A model transformation language based on logic programming

PTL: A model transformation language based on logic programming

Using triple graph grammars to realise incremental round‐trip engineering

Transformation as Search

Contact Info

Product

Resources

About