[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

A. Vallecillo, M. Gogolla, L. Burgueño, 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.



Kurzfassung englisch:
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.

Schlagworte:
model-driven engineering, model transformation


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-30982-3_11

Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_208504.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.