TROPIC: a framework for model transformations on petri nets in color
Authors: 
Manuel Wimmer, Gerti Kappel, Johannes Schoenboeck, Angelika Kusel, Werner Retschitzegger, Wieland SchwingerAuthors Info & Claims
Manuel Wimmer, Gerti Kappel, Johannes Schoenboeck, Angelika Kusel, Werner Retschitzegger, Wieland SchwingerAuthors Info & ClaimsPages 783 - 784
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
- TROPIC: a framework for model transformations on petri nets in color
Recommendations
Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN
This work addresses one of the core issues in modern enterprises applications: Business Process (BP), by proposing a new comprehensive model-driven approach for automated and formal verification of BP models. This allows BP specialists to formally and ...
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
MODELSWARD 2018: Proceedings of the 6th International Conference on Model-Driven Engineering and Software DevelopmentUML Sequence Diagrams are used in different domains for specifying the required behaviour of software-based
systems. However, the created diagrams are often used only as documentation, and not as a basis for
generating subsequent lifecycle artifacts or ...
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07: Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and TechnologyModel transformation is a basic insight of OMG's Model Driven Architecture. Activity Diagram (AD) is one of the behavioral diagrams in UML and used for capturing dynamic aspects of the system. In UML2, Activity Diagram has gone through major changes and ...
Comments
Information & Contributors
Information
Published In
October 2009
502 pages
ISBN:9781605587684
DOI:10.1145/1639950
- Conference Chairs:
- Shail Arora,
- Bernd Bruegge,
- Program Chairs:
- Gary Leavens,
- Yvonne Coady,
- Simon Peyton-Jones
Copyright © 2009 Copyright is held by the author/owner(s).
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 October 2009
Check for updates
Author Tags
Qualifiers
- Poster
Conference
OOPSLA09
Sponsor:
OOPSLA09: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference
October 25 - 29, 2009
Florida, Orlando, USA
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 148Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 30 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in