Graph Transformation Semantics for a QVT Language
نویسندگان
چکیده
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an application of graph transformation. In this paper we substantiate this claim by giving a graph transformation-based semantics to one of the original QVT language proposals; that is, we define a mechanism that will translate any model transformation definition in the QVT language to a graph production system whose effect is to apply that model transformation. The translation has been fully implemented.
منابع مشابه
Enforcing QVT-R with mu-Calculus and Games
QVT-R is the standard Object Management Group bidirectional transformation language. In previous work, we gave a precise game-theoretic semantics for the checkonly semantics of QVT-R transformations, including the recursive invocation of relations which is allowed and used, but not defined, by the QVT standard. In this paper, we take up the problem of enforce semantics, where the standard attem...
متن کاملAn Algebraic Semantics for QVT-Relations Check-only Transformations
QVT is the standard for model transformation defined by the OMG in the context of theModel-Driven Architecture. It is made of several transformation languages. Among them, QVT-Relations is the one with the highest level of abstraction, as it permits developing bidirectional trans-formations in a declarative, relational style. Unfortunately, the standard only provides a semiformal<lb...
متن کاملRewriting Logic Semantics and Verification of Model Transformations
Model transformations are used in model-driven development for mechanizing the interoperability and integration among modeling languages. Due to the graph-theoretic nature of models, the theory of graph transformation systems and its technological support provide a convenient environment for formalizing and verifying model transformations, which can then be used for defining the semantics of mo...
متن کاملA two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In turn these output models may be transformed into another set of models until finally the output consists of program code that can be executed. Model transformation is the MDE engine. The QVT Language is a concrete ling...
متن کاملFormalization of QVT-Relations: OCL-based Static Semantics and Alloy-based Validation
The OMG QVT standard aims at consolidating and simplifying the model transformation landscape by offering three domain-specific languages (Relations, Operational Mappings, and Core) inspired in the declarative and imperative paradigms. We focus on QVT-Relations, which allows declaring a transformation as a set of relations that should hold between concrete models. The standard states the wellfo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 211 شماره
صفحات -
تاریخ انتشار 2008