Building Dynamic Model in UML Using Colored Petri Nets

UML Sequence Diagram (SD) is used to modeling the dynamic behaviors of system, but it lacks simulation and verifiability capabilities because of its semi-formal nature. This paper proposes a UML-CPN transformation method to building dynamic model in UML using CPN. This work aims to develop efficient transformation methods, and then uses CPN models to simulate, verify and evaluate the systems. This work is part of an on-going effort to auto-execute the behavioral analysis of concurrent and real-time object-oriented software designs.