Practical Declarative Model Transformation with Tefkat

Lawley, Michael; Steel, Jim

doi:10.1007/11663430_15

Cited by 91 publications

(56 citation statements)

References 5 publications

(7 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…From the early years of model transformation, Prolog has been present as a tool to specify simple transformations [10,11,12,13]. Prolog has been also present in early relevant proposals like VIATRA [14].…”

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

“…In particular, declarative transformation languages such as QVT Relational [OMG05] and Tefkat [LS06] explicitly establish how target elements relate to source elements, which facilitates rule adaptation. However, the integration of adapter code (written in OCL) will be easier in QVT than in Tefkat because the former uses OCL (i.e., the translation is straightforward) while the latter is based on a logic-based pattern matching language.…”

Section: Templates In Atlmentioning

confidence: 99%

Flexible Model-to-Model Transformation Templates: An Application to ATL.

Cuadrado¹,

Guerra²,

Lara³

2012

JOT

View full text Add to dashboard Cite

Model transformation is one of the core techniques in ModelDriven Engineering. Many transformation languages exist nowadays, but few offer mechanisms directed to the reuse of whole transformations or transformation fragments in different contexts.Taking inspiration from generic programming, in this paper we define model transformation templates. These templates are not defined over concrete meta-models, but on so-called meta-model concepts which later can be bound to specific meta-models. The binding mechanism is flexible as it permits mapping concepts and meta-models with certain kinds of structural heterogeneities. The approach is general and can be applied to any model transformation language. In this paper we report on its application to ATL.

show abstract

“…Transformation frameworks can address traceability during the design of transformations [12], either by providing dedicated support for traceability (e.g., Tefkat [19], QVT [2]), or by encoding traceability as any other link between the input and output models (e.g., VIATRA [25], GreAT [4]). Traceability links may be encoded manually in the transformation rules (e.g., [19]), or inserted automatically (e.g., [2]). A HOT-based traceability system for ATL is already implemented in [17], where the HOT adds to each original transformation rule the production of a traceability link in an external ad-hoc traceability model (conforming to a small traceability metamodel).…”

Section: Related Workmentioning

confidence: 99%

Multi-level Tests for Model Driven Web Applications

Fraternali

Tisi

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Model Driven Engineering (MDE) advocates the use of models and transformations to support all the tasks of software development, from analysis to testing and maintenance. Modern MDE methodologies employ multiple models, to represent the different perspectives of the system at a progressive level of abstraction. In these situations, MDE frameworks need to work on a set of interdependent models and tranformations, which may evolve over time. This paper presents a model transformation framework capable of aligning two streams of transformations: the forward engineering stream that goes from the Computation Independent Model to the running code, and the testing stream that goes from the Computation Independent Test specification to an executable test script. The "vertical" transformations composing the two streams are kept aligned, by means of "horizontal" mappings that can be applied after a change in the modeling framework (e.g., an update in the PIM-to-code transformation due to a change in the target deployment technology). The proposed framework has been implemented and is under evaluation in a real-world MDE tool.

show abstract

Practical Declarative Model Transformation with Tefkat

Cited by 91 publications

References 5 publications

PTL: A model transformation language based on logic programming

PTL: A model transformation language based on logic programming

Flexible Model-to-Model Transformation Templates: An Application to ATL.

Multi-level Tests for Model Driven Web Applications

Contact Info

Product

Resources

About