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. © 2012 Springer-Verlag.
CITATION STYLE
Vallecillo, A., Gogolla, M., Burgueño, L., Wimmer, M., & Hamann, L. (2012). Formal specification and testing of model transformations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7320 LNCS, pp. 399–437). https://doi.org/10.1007/978-3-642-30982-3_11
Mendeley helps you to discover research relevant for your work.