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.

[1]  Stuart Kent,et al.  A Relational Approach to Defining Transformations in a Metamodel , 2002, UML.

[2]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[3]  Lidia Fuentes,et al.  Development of Ambient Intelligence Applications using Components and Aspects , 2006, J. Univers. Comput. Sci..

[4]  Holger Giese,et al.  From model transformation to incremental bidirectional model synchronization , 2009, Software & Systems Modeling.

[5]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

[6]  Lidia Fuentes,et al.  Model-driven development for early aspects , 2010, Inf. Softw. Technol..

[7]  Insup Lee,et al.  UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture , 2010, J. Univers. Comput. Sci..

[8]  Ivan Kurtev,et al.  State of the Art of QVT: A Model Transformation Language Standard , 2008, AGTIVE.

[9]  Daniel Rubio,et al.  Spring Recipes: A Problem-Solution Approach, Second Edition , 2010 .

[10]  Michael Wahler.  Formalizing Relational Model Transformation Approaches , 2007 .

[11]  Bo Yang,et al.  An executable business model for generic web applications , 2010, 2010 International Conference on Computer Information Systems and Industrial Management Applications (CISIM).

[12]  Matt Zandstra,et al.  Version Control with Subversion , 2010 .

[13]  Michael Lawley,et al.  Incremental model transformation for the evolution of model-driven systems , 2006, MoDELS'06.

[14]  Ben Collins-Sussman,et al.  Version Control with Subversion, Second Edition , 2008 .

[15]  Éric Tanter,et al.  Flexible metaprogramming and AOP in Java , 2008, Sci. Comput. Program..

[16]  Ramanath Subramanyam,et al.  User participation in software development projects , 2010, CACM.

[17]  Mario Piattini,et al.  Developing a Secure Mobile Grid System through a UML Extension , 2010, J. Univers. Comput. Sci..

[18]  Istvan Madari,et al.  Synchronizing user interfaces of different mobile platforms , 2009, IEEE EUROCON 2009.

[19]  Michael Pilato.  Version Control with Subversion , 2004 .

[20]  Jean Bézivin,et al.  Applying Generic Model Management to Data Mapping , 2005, BDA.

[21]  Gary Mak.  Spring Recipes: A Problem-Solution Approach , 2008 .

[22]  Krzysztof Czarnecki,et al.  Synchronizing Cardinality-Based Feature Models and Their Specializations , 2005, ECMDA-FA.