Formal Specification and Testing of Model Transformations

A. Vallecillo, M. Gogolla, L. Burgueno, M. Wimmer, L. Hamann:
"Formal Specification and Testing of Model Transformations";
Vortrag: International School on Formal Methods for the Design of Computer, Communcation, and Software Systems, Bertinoro, Italy (eingeladen); 18.06.2012 - 23.06.2012; in:"Formal Methods for Model-Driven Engineering", M. Bernardo, V. Cortellessa, A. Pierantonio (Hrg.); Springer, LNCS 7320 (2012), ISSN: 0302-9743; S. 399 - 437.

[ Publication Database ]


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.