Building Dynamic Model in UML Using Colored Petri Nets

Abstract

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 DLPVto 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. Keywords-Colored Petri net; UML; sequence diagram; dynamic model I. INTRODUCTION The design and implementation of complex systems is a difficult engineering task. Since client and developers have, naturally, different points of view towards requirements, they don't use the same vocabulary to discuss. Especially for behavior-intensive applications, this implies that the dynamic behavior is the most critical aspect to take into account. The Unified Modeling Language (UML) is the Object Management Group (OMG) standard notation for object-oriented modeling, it is strong as modeling means, supplies several different diagrammatic notations for representing the different aspects of a system under development. UML Sequence Diagram (SD) is used to modeling the dynamic behaviors of system, but it lacks simulation and verifiability capabilities which are critical aspects on behavior-intensive applications. This drawback comes from its semi-formal nature. So there are some researches on UML formal semantics(1). In this paper, we propose a UML-CPN transformation methods to building particular colored Petri nets (CPNs) based on UML models. This work is aimed at efficient transformation methods, and then we can use CPN models to simulate, verify and evaluate the systems. In our work, sequence diagrams are adopted as our primary notation for modeling behavior and CPN tools is served as the simulation tools.