The Epsilon Transformation Language

Kolovos, Dimitrios S.; Paige, Richard F.; Polack, Fiona

doi:10.1007/978-3-540-69927-9_4

Cited by 260 publications

(167 citation statements)

References 9 publications

Supporting

Mentioning

167

Contrasting

Order By: Relevance

“…The developer can use this specification as a guide to implement the transformation using his favourite language (e.g. ATL [30], ETL [31], etc.). Indeed, in our experience, we have found that the specification and the implementation are frequently refined iteratively.…”

Section: State Of the Artmentioning

confidence: 99%

Specification-driven model transformation testing

Guerra

Soeken

2013

Softw Syst Model

View full text Add to dashboard Cite

Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches to the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query or graph languages. However, these two tasks are usually performed independently regardless of their common purpose, and sometimes there is a gap between the properties exhibited by the generated input models and those considered by the transformations.Recently, we proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-and postconditions) from which we generated partial oracle functions used for transformation testing. Here, we extend the usage of our specification language for the automated generation of input test models by SAT solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the transformation requirements. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions. A set of experiments is presented, aimed at measuring the efficacy of our technique.

show abstract

Section: State Of the Artmentioning

confidence: 99%

Specification-driven model transformation testing

Guerra

Soeken

2013

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…The developer can use this specification as a guide to implement the transformation using his favourite language (e.g. ATL [13], ETL [14], etc.). Starting from the specification, the transformation tester can automatically generate a complete test suite which can be directly used to test the transformation implementation.…”

Section: State Of the Artmentioning

confidence: 99%

Specification-Driven Test Generation for Model Transformations

Guerra

2012

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: El acceso a la versión del editor puede requerir la suscripción del recurso Access to the published version may require subscription Specification-driven test generation for model transformationsEsther GuerraUniversidad Autónoma de Madrid (Spain) Esther.Guerra@uam.es Abstract. Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches to the generation of input models ensure a certain level of source meta-model coverage, whereas the oracle functions are frequently defined using query or graph languages. Both tasks are usually performed independently regardless their common purpose, and sometimes there is a gap between the properties exhibited by the generated input models and those demanded to the transformations (as given by the oracles).Recently, we proposed a formal specification language for the declarative formulation of transformation properties (invariants, pre-and postconditions) from which we generated partial oracle functions that facilitate testing of the transformations. Here we extend the usage of our specification language for the automated generation of input test models by constraint solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the interesting properties of the transformation. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions.

show abstract

“…Furthermore, we also included the hybrid Epsilon Transformation Language (ETL) [KPP08] to evaluate if the refactorings developed for ATL are applicable for other hybrid languages as well. Examining the QVT languages allows to investigate if the refactorings are applicable for languages following either the imperative paradigm or the declarative paradigm.…”

Section: Qvt-r Qvt-o Etlmentioning

confidence: 99%

A Catalogue of Refactorings for Model-to-Model Transformations.

Wimmer¹,

Martínez²,

Jouault³

et al. 2012

JOT

View full text Add to dashboard Cite

In object-oriented programming, continuous refactorings are used as the main mechanism to increase the maintainability of the code base. Unfortunately, in the field of model transformations, such refactoring support is so far missing. This paper tackles this limitation by adapting the notion of refactorings to model-to-model (M2M) transformations. In particular, we present a dedicated catalogue of refactorings for improving the quality of M2M transformations. The refactorings have been explored by analyzing existing transformation examples defined in ATL. However, the refactorings are not specifically tailored to ATL, but applicable also to other M2M transformation languages.

show abstract

The Epsilon Transformation Language

Cited by 260 publications

References 9 publications

Specification-driven model transformation testing

Specification-driven model transformation testing

Specification-Driven Test Generation for Model Transformations

A Catalogue of Refactorings for Model-to-Model Transformations.

Contact Info

Product

Resources

About