Talks and Poster Presentations (with Proceedings-Entry):
A. Vallecillo, M. Gogolla, L. Burgueño, M. Wimmer, L. Hamann:
"Formal Specification and Testing of Model Transformations";
Talk: International School on Formal Methods for the Design of Computer, Communcation, and Software Systems,
Bertinoro, Italy (invited);
2012-06-18
- 2012-06-23; in: "Formal Methods for Model-Driven Engineering",
M. Bernardo, V. Cortellessa, A. Pierantonio (ed.);
Springer,
LNCS 7320
(2012),
ISSN: 0302-9743;
399
- 437.
English abstract:
In this paper we present some of the key issues involved in model transformation specification and testing, discuss and classify some of the existing approaches, and introduce the concept of Tract, a generalization of model transformation contracts. We show how Tracts can be used for model transformation specification and black-box testing, and the kinds of analyses they allow. Some representative examples are used to illustrate this approach.
Keywords:
model-driven engineering, model transformation
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-30982-3_11
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_208504.pdf
Created from the Publication Database of the Vienna University of Technology.