Transformation Methodology for UML 2.0 Activity Diagram into Colored Petri Nets

Document Type

Conference Proceeding


ACTA Press


Faculty of Computing, Health and Science


School of Computer and Security Science




Farooq, U., Lam, C. P., & Li, H. (2007). Transformation methodology for UML 2.0 activity diagram into colored petri nets. Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology. ACST'07. (pp. 128-133). Anaheim, California: ACTA Press. Available here


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.