2011 | OriginalPaper | Buchkapitel
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts
verfasst von : Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim
Erschienen in: Formal Methods, Foundations and Applications
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
Model transformations are first-class artifacts in a model-driven development process. As such, their verification and validation is an important task. We have been developing a technique to specify, verify, validate and implement model transformations. Our technique is based on the concept of
transformation contracts
, a specification that relates two modeling languages and declares properties that must be fulfilled in such a relation. A transformation contract is essentially a transformation model that allows for the verification and validation of a model transformation using the same techniques one uses to verify and validate any given model. This paper describes our technique, discusses
consistency
of model transformations and reports on its application to a model transformation from access control models to Java security.