A. Vallecillo, M. Gogolla, L. BurgueƱo, M. Wimmer, L. Hamann: Formal Specification and Testing of Model Transformations, International School on Formal Methods for the Design of Computer, Communcation, and Software Systems, Bertinoro, Italy, 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, pages 399 - 437. Doi: 10.1007/978-3-642-30982-3_11


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.