Engineering model transformations with transML
TL;DR: This paper proposes a unified family of languages to cover the life cycle of transformation development enabling the engineering of transformations and provides tools to partially automate the progressive refinement of models between the different phases and the generation of code for several transformation implementation languages.
read more
Abstract: Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. In this way, even though transformations should be built using sound engineering principles--just like any other kind of software--there is currently a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing. In this paper, we propose a unified family of languages to cover the life cycle of transformation development enabling the engineering of transformations. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for several transformation implementation languages.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Test Driven Development: By Example
Beck
- 01 Nov 2002
TL;DR: Drive development with automated tests, a style of development called “Test-Driven Development” (TDD for short), which aims to dramatically reduce the defect density of code and make the subject of work crystal clear to all involved.
2.2K
Automated verification of model transformations based on visual contracts
Esther Guerra,Juan de Lara,Manuel Wimmer,Gerti Kappel,Angelika Kusel,Werner Retschitzegger,Johannes Schönböck,Wieland Schwinger +7 more
- 01 Mar 2013
TL;DR: A declarative language for the specification of visual contracts is proposed, enabling the verification of transformations defined with any transformation language, i.e., irrespective of the actual transformation language used.
Applying MDE to the (semi-)automatic development of model transformations
TL;DR: This paper serves to show that a semi-automatic development process for model transformations is not only desirable but feasible and helps to ease the task of developing model transformations and to alleviate interoperability issues between model transformation languages.
54
Specification-driven model transformation testing
Esther Guerra,Mathias Soeken +1 more
TL;DR: This work proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-, and postconditions) from which partial oracle functions used for transformation testing were generated, and extended the usage of this specificationlanguage for the automated generation of input test models by SAT solving.
Specification-Driven test generation for model transformations
Esther Guerra
- 28 May 2012
TL;DR: A formal specification language for the declarative formulation of transformation properties (invariants, pre- and postconditions) is proposed from which partial oracle functions that facilitate testing of the transformations are generated.
41
References
The model checker SPIN
Gerard J. Holzmann
- 01 May 1997
TL;DR: An overview of the design and structure of the verifier, its theoretical foundation, and an overview of significant practical applications are given.
Applying 'design by contract'
TL;DR: Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented and the theory of contract design and the role of assertions in that theory are discussed.
•Book
Test Driven Development: By Example
Beck
- 01 Nov 2002
TL;DR: Drive development with automated tests, a style of development called “Test-Driven Development” (TDD for short), which aims to dramatically reduce the defect density of code and make the subject of work crystal clear to all involved.
2.2K
•Book
Software Abstractions: Logic, Language, and Analysis
Daniel Jackson
- 01 Jan 2006
TL;DR: This revised edition of Software Abstractions updates the text, examples, and appendixes to be fully compatible with the latest version of Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions.