Designing a Map of Mappings Visualization of QVT Relations using Petri-Nets

Ali Fatolahi, Stéphane S. Somé, Timothy C. Lethbridge

2010

Abstract

QVT Relations are a popular standard for formalizing model-driven transformations. For the most part, QVT relations are expressed using the existing textual standard. A number of graphical approaches have been suggested for presenting QVT relations. Most of the existing approaches are either concerned with the graphical presentation of individual relations or deal with validation and execution. As a result, in many cases the visualization of relations does not lead to a better understanding of the set of relations as a whole and does not facilitate the design process of transformations. In this paper, we employ basic Petri-Nets for presenting a more comprehensible picture of QVT relations and a more flexible technique for designing such transformations. Our approach is not concerned with the accuracy or correctness of the graphical representation but with the understandability of the set of relations as a transformation chain.

References

  1. James L. Peterson. Theory and the Modeling of Systems. Prentice-Hall, N.J., 1981.
  2. Pierantonio, A. Vallecillo, A. Selic, B. and Gray, J.: Special Issue on Model Transformation. Sci. Comput. Program. 68(3): 111-113 (2007)
  3. OMG, MOF QVT Final Adopted Specification, November 2005
  4. Wimmer, M. Kappel, G. Schönböck, J. Kusel, A. Retschitzegger, W. and Schwinger, W. A Petri Net based Debugging Environment for QVT Relations Proceedings of the 24th International Conference on Automated Software Engineering (ASE 2009), IEEE, pp. 1-12, 2009
  5. Wimmer, M. Kusel, A. Schoenboeck, J. Kappel, G. Retschitzegger, W. and Schwinger, W. Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets. In MoDELS 7809: Proceedings of the 12th international conference on Model Driven Engineering Languages and Systems (2009) Pages 727-732.
  6. Wimmer, M. Kusel, A. Reiter, T. Retschitzegger, W. Schwinger, W. Kappel, G. Lost in Translation? Transformation Nets to the Rescue! Information Systems: Modeling, Development, and Integration (2009), pp. 315-327.
  7. Juan de Lara, Esther Guerra, Formal Support for QVT-Relations with Coloured Petri Nets. In Model Driven Engineering Languages and Systems (2009), pp. 256-270.
  8. Kappel, G. Kargl, H. Reiter, T. Retschitzegger, W. Schwinger, W. Strommer, M. and Wimmer, M. A Framework for Building Mapping Operators Resolving Structural Heterogeneities, in Information Systems and e-Business Technologies (UNISCON'2008), Springer, pp. 158-174, 2008
  9. Kusel, A. Schwinger, W. Wimmer, M. Retschitzegger, W. Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. In: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems. Pages 329-334
  10. Reiter, T. Wimmer, M. and Kargl, H. Towards a runtime model based on Colored Petri Nets for the execution of model transformations. In Proc. of 3rd Workshop on Models and Aspects @ ECOOP'07, Berlin, 2007.
  11. Wimmer, M. Kusel, A. Schönböck, J. Reiter, T. Retschitzegger and W. Schwinger, W. Lets's Play the Token Game - Model Transformations Powered By Transformation Nets; Vortrag: International Workshop on Petri Nets and Software Engineering, Paris, France; 22.06.2009 - 23.06.2009; in: Proc. of the International Workshop on Petri Nets and Software Engineering PNSE'09, Universit Paris 13, (2009), S. 35 - 50.
  12. mediniQVT Trac, projects.ikv.de/qvt, 3 May 2008
  13. Willink, E. D. UMLX: A graphical transformation language for MDA (2003) In Proc. of OOPSLA 2003.
  14. Mazón, J.-N. Trujillo, J. and Lechtenbörger, J. A Set of QVT Relations to Assure the Correctness of Data Warehouses by Using Multidimensional Normal Forms. Conceptual Modeling - ER 2006. Pages 385-398.
  15. Blanco, C. De Guzmán, I. G.-R. Medina, E. F. Trujillo, J. and Piattini, M. Automatic Generation of Secure Multidimensional Code for Data Warehouses: An MDA Approach. Lecture Notes In Computer Science; Vol. 5332 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008.Pages: 1052 - 1068
  16. VMTS QVT, avalon.aut.bme.hu/ tihamer/research/vmts/qvt/vmts qvt.html, December 2009
  17. GMF - Graphical Modeling Framework, www.eclipse.org/modeling/gmf, April 2009
  18. A. Fatolahi, S. S. Somé , T. C. Lethbridge. TR-2008-02 Automated Generation of Abstract Web Applications using QVT Relations August 2008. Available from www.site.uottawa.ca/eng/school/publications/techrep/2008/FatohaliSomeLethbridge.pdf
  19. Freeman, Herbert, Automated Cartographic Text Placement. White paper. Available from www.maptext.com/ProductLiterature/Freeman-White-Paper-041027.pdf
  20. O'Connor, J.J. and E.F. Robertson, The History of Cartography. Scotland: St. Andrews University, 2002.
Download


Paper Citation


in Harvard Style

Fatolahi A., S. Somé S. and C. Lethbridge T. (2010). Designing a Map of Mappings Visualization of QVT Relations using Petri-Nets . In Proceedings of the 2nd International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2010) ISBN 978-989-8425-10-2, pages 35-45. DOI: 10.5220/0003025500350045


in Bibtex Style

@conference{ftmdd10,
author={Ali Fatolahi and Stéphane S. Somé and Timothy C. Lethbridge},
title={Designing a Map of Mappings Visualization of QVT Relations using Petri-Nets},
booktitle={Proceedings of the 2nd International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2010)},
year={2010},
pages={35-45},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003025500350045},
isbn={978-989-8425-10-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Workshop on Future Trends of Model-Driven Development - Volume 1: FTMDD, (ICEIS 2010)
TI - Designing a Map of Mappings Visualization of QVT Relations using Petri-Nets
SN - 978-989-8425-10-2
AU - Fatolahi A.
AU - S. Somé S.
AU - C. Lethbridge T.
PY - 2010
SP - 35
EP - 45
DO - 10.5220/0003025500350045