Title

Transformation Methodology for UML 2.0 Activity Diagram into Colored Petri Nets

Document Type

Conference Proceeding

Publisher

ACTA Press

Faculty

Computing, Health and Science

School

Computer and Security Science

RAS ID

4044

Comments

This article was originally published as: 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. Original article available here

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.