An Algebraic Semantics for QVT-Relations Check-only Transformations

• Autorzy: Guerra E. , de Lara J.
• Języki publikacji: EN

Abstrakty

EN

QVT is the standard for model transformation defined by the OMG in the context of the Model-Driven Architecture. It is made of several transformation languages. Among them, QVTRelations is the one with the highest level of abstraction, as it permits developing bidirectional transformations in a declarative, relational style. Unfortunately, the standard only provides a semiformal description of its semantics, which hinders analysis and has given rise to ambiguities in existing tool implementations. In order to improve this situation, we propose a formal, algebraic semantics for QVT-Relations check-only transformations, defining a notion of satisfaction of QVT-Relations specifications by models.

Słowa kluczowe

EN

model driven engineering; model transformation; QVT-Relations; category theory

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2012
• Tom: Vol. 114, nr 1
• Strony: 73--101
• Opis fizyczny: Bibliogr. 29 poz., rys.

Twórcy

autor

Guerra E.

autor

de Lara J.

• Computer Science Department Universidad Aut´onoma de Madrid, Spain,

Bibliografia

• [1] A. Boronat. MOMENT: A formal framework forMOdel manageMENT. PhD thesis, Universitat Politècnica de Valencia, 2007. See also http://moment.dsic.upv.es/content/view/34/75/.Last accessed: November 2010.
• [2] A. Boronat, J. A. Carsı, and I. Ramos. Algebraic specification of a model transformation engine. In FASE'06, volume 3922 of LNCS, pages 262-277. Springer, 2006.
• [3] J. Cabot, R. Clarisó, E. Guerra, and J. de Lara. Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software, 83(2):283-302, 2010.
• [4] J. Cabot, R. Clarisó, and D. Riera. UMLtoCSP: A tool for the formal verification of UML/OCL models using constraint programming. In ASE'07, pages 547-548. ACM, 2007.
• [5] J. de Lara, R. Bardohl, H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Attributed graph transformation with node type inheritance. Theoretical Computer Science, 376(3):139-163, 2007.
• [6] J. de Lara and E. Guerra. Formal support for QVT-Relations with coloured Petri nets. In MoDELS'09, volume 5795 of LNCS, pages 256-270. Springer, 2009.
• [7] H. Ehrig, K. Ehrig, A. Habel, and K.-H. Pennemann. Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae, 74(1):135-166, 2006.
• [8] H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of algebraic graph transformation. Springer, 2006.
• [9] H. Ehrig, U. Prange, and G. Taentzer. Fundamental theory for typed attributed graph transformation. In ICGT'04, volume 3256 of LNCS, pages 161-177. Springer, 2004.
• [10] M. Garc´ıa. Formalization of QVT-Relations: OCL-based static semantics and Alloy-based validation. In MDSD today, pages 21-30. Shaker Verlag, 2008.
• [11] R. S. Giandini, C. Pons, and G. Pérez. A two-level formal semantics for the QVT language. In CIbSE'09, pages 73-86, 2009.
• [12] J. Greenyer and E. Kindler. Comparing relational model transformation technologies: Implementing Query/View/Transformation with triple graph grammars. Software and System Modeling, 9(1):21-46, 2010.
• [13] F. Jouault and I. Kurtev. On the architectural alignment of ATL and QVT. In SAC'06, pages 1188-1195, 2006. See also http://www.eclipse.org/m2m/atl/usecases/QVT2ATLVM/. Last accessed: November 2010.
• [14] F. J. Lucas and J. A. T. ´Alvarez. Model transformations powered by rewriting logic. In CAiSE Forum, volume 344 of CEUR Proc., pages 41-44, 2008.
• [15] MediniQVT. http://projects.ikv.de/qvt/. Last accessed: November 2010.
• [16] ModelMorf. http://www.tcs-trddc.com/trddc_website/scripts/project_detail.php?lab=SWRD&project_id=44. Last accessed: November 2010.
• [17] OMG. UML homepage. http://www.uml.org/. Last accessed: November 2010.
• [18] F. Orejas. Attributed graph constraints. In ICGT'08, volume 5214 of LNCS, pages 274-288. Springer, 2008.
• [19] F. Orejas. Symbolic attributed graphs for attributed graph transformation. In Proc. International Colloquium on Graph and Model Transformation, Electronic Communications of the EASST, pages 26-55, 2010. Available from www.lsi.upc.edu/~orejas/papers/Gramot1.pdf.
• [20] F. Orejas. Symbolic graphs for attributed graph constraints. J. Symb. Comput., 46(3):294-315, 2011.
• [21] F. Orejas and M. Wirsing. On the specification and verification of model transformations. In Semantics and Algebraic Specification, volume 5700 of LNCS, pages 140-161. Springer, 2009.
• [22] QVT. http://www.omg.org/spec/QVT/1.1/PDF/. Last accessed: September 2011, 2005.
• [23] R. Romeikat, S. Roser, P. M¨ullender, and B. Bauer. Translation of QVT relations into QVT operational mappings. In ICMT'08, volume 5063 of LNCS, pages 137-151, 2008.
• [24] A. Schürr. Specification of graph translators with triple graph grammars. In WG'94, volume 903 of LNCS, pages 151-163. Springer, 1994.
• [25] SmartQVT. France Telecom R&D. http://sourceforge.net/projects/smartqvt/. Last accessed: November 2010.
• [26] P. Stevens. A simple game-theoretic approach to checkonly QVT relations. In ICMT'09, volume 5563 of LNCS, pages 165-180. Springer, 2009.
• [27] P. Stevens. Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling, 9(1):7-20, 2010.
• [28] M. Völter and T. Stahl. Model-driven software development. Wiley, 2006.
• [29] M. Wimmer, G. Kappel, J. Sch¨onb¨ock, A. Kusel, W. Retschitzegger, and W. Schwinger. A Petri net based debugging environment for QVT relations. In ASE'09, pages 3-14. IEEE Computer Society, 2009. See also http://www.modeltransformation.net/. Last accessed: November 2010.