Coupled software transformations revisited

Lämmel, Ralf

doi:10.1145/2997364.2997366

Cited by 24 publications

(18 citation statements)

References 42 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…BXs have many interesting applications including the synchronization of replicated data in different formats [46], presentation-oriented structured document development [38] or to implement coupled software transformations [44].…”

Section: Bidirectional Transformationsmentioning

confidence: 99%

Testing models and model transformations using classifying terms

et al. 2016

View full text Add to dashboard Cite

This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model enriched with OCL constraints. Classifying terms permit defining equivalence classes, in particular for partitioning the source and target model spaces of the transformation, defining for each class a set of equivalent models with regard to the transformation. Using these classes, a model validator tool is able to automatically construct object models for each class, which constitute relevant test cases for the transformation. We show how this approach of guiding the construction of test cases in an orderly, systematic and efficient manner can be effectively used in combination with Tracts for testing both directional and bidirectional model transformations and for analyzing their behavior.

show abstract

Section: Bidirectional Transformationsmentioning

confidence: 99%

Testing models and model transformations using classifying terms

et al. 2016

View full text Add to dashboard Cite

show abstract

“…Decomposing bidirectional transformations as a pair of transformations is not sufficient, since new challenges arise when considering the models involved as closely related: one of the key properties consists of ensuring the consistency between models. Lämmel [72] addresses consistency through different kinds of model reconciliation (degenerated, symmetric and asymmetric) that depend on the final use. Stevens [109] extensively studied the case of bidirectional transformations for the Omg Qvt standard.…”

Section: Consistency Of Bidirectional Transformationsmentioning

confidence: 99%

Formal Verification Techniques for Model Transformations: A Tridimensional Classification .

Amrani¹,

Combemale²,

Levi³

et al. 2015

JOT

View full text Add to dashboard Cite

In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde's "heart and soul". Since model transformations are executed for a family of (conforming) models, their validity becomes a crucial issue.This paper proposes to explore the question of the formal verification of model transformation properties through a tridimensional approach: the transformation involved, the properties of interest addressed, and the formal verification techniques used to establish the properties.This work is intended for a double audience. For newcomers, it provides a tutorial introduction to the field of formal verification of model transformations. For readers more familiar with formal methods and model transformations, it proposes a literature review (although not systematic) of the contributions of the field.Overall, this work allows to better understand the evolution, trends and current practice in the domain of model transformation verification. This work opens an interesting research line for building an engineering of model transformation verification guided by the notion of model transformation intent.

show abstract

“…But they effectively address the same problem of coupled evolution. Lämmel discusses this for a subset of the above in [14], naming it the ubiquity of coupled transformation problems. Identifying the coupled evolution problem in different domains is a form of horizontal generalization.…”

Section: Horizontal Generalizationmentioning

confidence: 99%

“…Coupled evolution does not only apply to data transformation, but is a reoccurring problem in computer science [14]. Models need to be transformed to reflect evolution in their meta-models [7,6,23].…”

Section: Introductionmentioning

confidence: 99%

Heterogeneous Coupled Evolution of Software Languages

Vermolen

Visser

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Coupled software transformations revisited

Cited by 24 publications

References 42 publications

Testing models and model transformations using classifying terms

Testing models and model transformations using classifying terms

Formal Verification Techniques for Model Transformations: A Tridimensional Classification .

Heterogeneous Coupled Evolution of Software Languages

Contact Info

Product

Resources

About