Transformation methodology for UML 2.0 activity diagram into colored Petri nets

Authors:
U. Farooq;C. P. Lam;H. Li
Affiliations:
School of Computer and Information Science, Edith Cowan University, Perth, Australia;School of Computer and Information Science, Edith Cowan University, Perth, Australia;School of Computer and Information Science, Edith Cowan University, Perth, Australia
Venue:
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Year:
2007

Citing 11
Cited 4

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Designing the automatic transformation of visual languages

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
An Execution Algorithm for UML Activity Graphs

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An Introduction to the Practical Use of Coloured Petri Nets

Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Transformation: The Missing Link of MDA

ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Introduction to the Theoretical Aspects of Coloured Petri Nets

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Semantics of Control-Flow in UML 2.0 Activities

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Semantics and Verification of Data Flow in UML 2.0 Activities

Electronic Notes in Theoretical Computer Science (ENTCS)
A Taxonomy of Model Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)

Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams

Computers and Industrial Engineering
Towards accurate conflict detection in a VCS for model artifacts: a comparison of two semantically enhanced approaches

APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Modular modelling of software product lines with feature nets

SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Modeling and enforcing invariants of dynamic software architectures

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model 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 introduced a Petri Nets like token flow semantic. AD provides comprehensive notations for process modeling and potentially suitable for wide range of application areas like service-oriented applications, workflows and other function oriented applications. A methodology for automatic transformation of UML2-AD into colored Petri Nets is described in this paper. The proposed approach is significant as it provides an automatic and seamless progression from the design artifacts to a formal representation. The rational of AD to CPN transformation based on the fact that the derived formal model can potentially be exploit for formal verification and validation using tools and techniques available for Colored Petri Nets.