A Novel Approach to Semi-automated Evolution of DSML Model Transformation

Levendovszky, Tihamér; Balasubramanian, Daniel; Narayanan, Anantha; Karsai, Gábor

doi:10.1007/978-3-642-12107-4_4

Cited by 32 publications

(21 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some of our concept refactorings require adapting the transformation, like in meta-model/transformation co-evolution [9,12]. These works distinguish three kinds of transformation changes: fully automated, partially automated and fully semantic.…”

Section: Evaluation and Tool Supportmentioning

confidence: 99%

See 1 more Smart Citation

Reverse Engineering of Model Transformations for Reusability

Cuadrado

Guerra

Lara

2014

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in: Abstract. Reuse techniques are key for the industrial adoption of ModelDriven Engineering (MDE). However, while reusability has been successfully applied to programming languages, its use is scarce in MDE and, in particular, in model transformations.In previous works, we developed an approach that enables the reuse of model transformations for different meta-models. This is achieved by defining reusable components that encapsulate a generic transformation template and expose an interface called concept declaring the structural requirements that any meta-model using the component should fulfil.Binding the concept to one of such meta-models induces an adaptation of the template, which becomes applicable to the meta-model. To facilitate reuse, concepts need to be concise, reflecting only the minimal set of requirements demanded by the transformation. In this paper, we automate the reverse engineering of existing transformations into reusable transformation components. To make a transformation reusable, we use the information obtained from its static analysis to derive a concept that is minimal with respect to the transformation and maximizes its reuse opportunities, and then evolve the transformation accordingly. The paper describes a prototype implementation and an evaluation using transformations from the ATL zoo.

show abstract

Section: Evaluation and Tool Supportmentioning

confidence: 99%

“…In our case, we only consider meta-model changes that lead to fully automated transformation changes, as we aim at an automated process. In contrast to [9,12], we use typing information derived from the transformation.…”

Section: Evaluation and Tool Supportmentioning

confidence: 99%

Reverse Engineering of Model Transformations for Reusability

Cuadrado

Guerra

Lara

2014

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

show abstract

“…The inconsistencies with the domain metamodel are manifested at compile time and countermeasures must be adopted. In this respect, in the case of metamodel/transformation co-evolution, metamodel manipulations can be classified 3 as follows [LBNK10]:…”

Section: Metamodel/transformation Co-evolutionmentioning

confidence: 99%

On the Impact Significance of Metamodel Evolution in MDE.

Iovino¹,

Pierantonio²,

Malavolta³

2012

JOT

View full text Add to dashboard Cite

Harnessing metamodels to engineer application domains is at the core of Model-Driven Engineering. A large number of artifacts pursuing a common scope are defined starting from metamodels which represent the nucleus of an ecosystem. Analogously to any software artifact, metamodels are equally prone to evolution. However, changing a metamodel might affect the components of the ecosystem. In fact, when a metamodel undergoes modifications, the related artifacts might require to be consistently adapted in order to recovery their validity. This is an intrinsically difficult process. It requires different techniques for each specific kind of artifact and can easily lead to inconsistencies and irremediable information erosion, if based on spontaneous and individual skills. This paper discusses the problem of identifying, predicting and evaluating the significance of the metamodel change impact over the existing artifacts. The approach is agnostic of the adaptation technique and formalizes the whole ecosystem and the relatedness of the involved artifacts in terms of megamodels. This allows developers i) to establish relationships between the metamodel and its related artifacts, and ii) to automatically identify those elements within the various artifacts affected by the metamodel changes. The approach can be considered as preparatory to any systematic adaptation process.

show abstract

“…The solution is to capture model refactorings as transformations, which can then be used to upgrade transformations that are unaware of these refactorings. [10] deals the evolution of transformation context through user-defined rules relating the constructs in the original meta-models with those in the evolved meta-models. These rules are used to upgrade the transformation as much as possible.…”

Section: Related Workmentioning

confidence: 99%

“…Transformation Evolution. A transformation is defined and verified, but changes in requirements necessitate changes in DSL syntax [10]. In this case τ evolves to τ , where each…”

Section: Transformations and Reuse Scenariosmentioning

confidence: 99%

Reusing Model Transformations While Preserving Properties

Jackson

Schulte

Balasubramanian

et al. 2010

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformations must be verified to ensure they behave as desired. Simultaneously, transformations may be reused as requirements evolve. In this paper we present novel algorithms to determine if a reused transformation preserves the same properties as the original, without expensive re-verification. We define a type of behavioral equivalence, called lifting equivalence, relating an original transformation to its reused version. A reused transformation that is equivalent to the original will preserve all compatible universally quantified properties. We describe efficient algorithms for verifying lifting equivalence, which we have implemented in our FORMULA [1, 2] framework.

show abstract

A Novel Approach to Semi-automated Evolution of DSML Model Transformation

Cited by 32 publications

References 8 publications

Reverse Engineering of Model Transformations for Reusability

Reverse Engineering of Model Transformations for Reusability

On the Impact Significance of Metamodel Evolution in MDE.

Reusing Model Transformations While Preserving Properties

Contact Info

Product

Resources

About