2012 | OriginalPaper | Buchkapitel
Formal Specification and Testing of Model Transformations
verfasst von : Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann
Erschienen in: Formal Methods for Model-Driven Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.