A Relational Approach to Model Transformation with QVT Relations Supporting Model Synchronization
نویسندگان
چکیده
With the help of model transformation, it is possible to generate target models from source models. A possible way to face iterative development process with frequent modifications is to use not only a single transformation but also frequent model synchronization. In this paper, we propose a relational approach to model transformation using Query/View/Transformations (QVT) Relations language that also provides model synchronization mechanism based on the version of the models. The proposed framework uses a Platform-Independent Business Model (PIM-BM) and a Platform-Specific Business Component Model (PSM-BC) via the extension of the UML metamodel and MOF at different levels of abstraction, which sufficiently describe both the structural and behavioral properties of generic Web applications. Also we present the typical model mapping rules between PIM-BMs and PSM-BCs using QVT Relations. Finally the model synchronization based on the version of models is provided for the above model transformation approach.
منابع مشابه
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...
متن کاملComparing Relational Model Transformation Technologies – Implementing QVT with Triple Graph Grammars
The Model Driven Architecture (MDA) is an approach to develop software based on different models. There are separate models for the business logic and for platform specific details. Moreover, code can be generated automatically from these models. This makes transformations a core technology for MDA and for model-based software engineering approaches in general. QVT (Query/View/Transformation) i...
متن کامل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...
متن کاملControlling Reuse in Pattern-Based Model-to-Model Transformations
Model-to-model transformation is a central activity inModelDriven Engineering that consists of transforming models from a source to a target language. Pattern-based model-to-model transformation is our approach for specifying transformations in a declarative, relational and formal style. The approach relies on patterns describing allowed or forbidden relations between two models. These patterns...
متن کاملSolving Constraints in Model Transformations
Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, but have not been properly reflected in model transformation. This paper introduces constraint programming in model transformation, shows how constraint programming integrates with QVT Relations as a pathway to wide spread use of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 17 شماره
صفحات -
تاریخ انتشار 2011