Transformation: The Missing Link of MDA

Gerber, Anna; Lawley, Michael; Raymond, Kerry; Steel, Jim; Wood, A. K. W.

doi:10.1007/3-540-45832-8_9

Cited by 98 publications

(59 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

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

“…F-Logic is a further prominent rule language that combines logical formulas with object oriented and frame-based description features. Different works [46] have explored the usage of F-Logic to describe configurations of devices or the semantics of MOF models.…”

Section: Related Work and Advantagesmentioning

confidence: 99%

An ontology-based framework for domain-specific modeling

Walter¹,

Parreiras²,

Staab³

2012

Softw Syst Model

View full text Add to dashboard Cite

Domain-specific languages (DSLs) provide abstractions and notations for better understanding and easier modeling of applications in a special domain. Current shortcomings of DSLs include learning curve and formal semantics. This paper reports on a framework that allows the use of ontology technologies to describe and reason on DSLs. The formal semantics of OWL together with reasoning services allows for addressing constraint definition, progressive evaluation, suggestions, and debugging. The approach integrates existing metamodels and concrete syntaxes in a new technical space. A scenario in which domain models for network devices are created illustrates the framework.

show abstract

“…While the process steps are very similar, our implementation concerns the application of Prolog in pattern-matching at the model level. The derivated facts from the meta-models and models in this section are also aligned to the formal mapping of class and object into Flora-2 in [9] and other transformations using F-Logic [11]. However, we take as input EMOF classes and objects.…”

Section: Related Workmentioning

confidence: 99%

Matching Model-Snippets

Ramos¹,

Barais²,

Jézéquel³

2007

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend to distinguish the language they use to express patterns from the one for modelling. Consequently, productivity is reduced by dealing with a distinct new language, and new intermediate steps are introduced in order to support pattern-matching. In this paper we propose a framework for expressing patterns as model-snippets. We present how modelsnippets are specified upon concepts in a given domain (meta-model), and how we perform pattern-matching with model-snippets, whatever the meta-model. We also provide an implementation which is well integrated with existing technologies, such as Eclipse Modelling Framework.

show abstract

Transformation: The Missing Link of MDA

Cited by 98 publications

References 6 publications

PTL: A model transformation language based on logic programming

PTL: A model transformation language based on logic programming

An ontology-based framework for domain-specific modeling

Matching Model-Snippets

Contact Info

Product

Resources

About