U. Farooq, C.P. Lam, and H. Li (Australia)
UML, Graph transformation, Activity diagram, Colored Petri Nets
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 dy namic aspects of the system. In UML2, Activity Diagram has gone through major changes and introduced a Petri Nets like token flow semantic. AD provides comprehen sive notations for process modeling and potentially suitable for wide range of application areas like service-oriented applications, workflows and other function oriented appli cations. A methodology for automatic transformation of UML2-AD into colored Petri Nets is described in this pa per. The proposed approach is significant as it provides an automatic and seamless progression from the design ar tifacts to a formal representation. The rational of AD to CPN transformation based on the fact that the derived for mal model can potentially be exploit for formal verification and validation using tools and techniques available for Col ored Petri Nets.
Important Links:
Go Back
