TROPIC: a framework for model transformations on petri nets in color

ABSTRACT

Model transformation languages, the cornerstone of Model-Driven Engineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation framework providing different abstraction levels together with an extensible library of predefined transformations and a dedicated runtime model in terms of Coloured Petri Nets for transformation execution and debugging.

REFERENCES

• 1: J. B´ezivin. On the Unification Power of Models. Journal on Software and Systems Modeling, 4(2):171--188, 2005.
• 2: K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621--645, 2006.
• 3: K. Jensen. Coloured Petri nets: basic concepts, analysis methods, and practical use. Springer, 1992.
• 4: Gerti Kappel, Horst Kargl, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, Michael Strommer, and Manuel Wimmer. A Framework for Building Mapping Operators Resolving Structural Heterogeneities. In Proc. of Information Systems and e-Business Technologies (UNISCON'08), Klagenfurt, 2008.
• 5: Vipul Kashyap and Amit Sheth. Semantic and Schematic Similarities between Database Objects: A Context-based approach. The VLDB Journal, 5(4):276--304, 1996.
• 6: T. Reiter, M. Wimmer, and H. Kargl. 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.
• 7: Marcel van Amstel, Christian Lange, and Mark van den Brand. Using Metrics for Assessing the Quality of ASF+SDF Model Transformations. In Proc. of ICMT2009 - Int. Conf. on Model Transformation Theory and Practice of Model Transformations, Zurich, 2009. Springer.
• 8: Manuel Wimmer, Angelika Kusel, Thomas Reiter, Werner Retschitzegger, and Wieland Schwinger. Lost in Translation? Transformation Nets to the Rescue! In Proc. of 8th Int. Conf. on Information Systems Technology and its Applications (UNISCON'09), pages 315--327, Sydney, 2009a. Springer.
• 9: Manuel Wimmer, Angelika Kusel, Johannes Schoenboeck, Gerti Kappel, Werner Retschitzegger, and Wieland Schwinger. Reviving QVT Relations: Model-based Debugging using Colored Petri Nets. In MoDELS '09: Proc. of the 12th Int. Conf. on Model Driven Engineering Languages and Systems, Denver, USA, 2009b. Springer. Short Paper.
• 10: Manuel Wimmer, Angelika Kusel, Johannes Schoenboeck, Thomas Reiter, Werner Retschitzegger, and Wieland Schwinger. Let's Play the Token Game -- Model Transformations Powered By Transformation Nets. In Proc. of Int. Workshop on Petri Nets and Software Engineering, pages 35--50, Paris, 2009c.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments
          Subjects: Graphical environments

General Terms:
Design, Languages

Keywords:
colored petri nets, model transformation