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