Abstract—Complexities of object-oriented software such as inheritance and polymorphism make behavior analysis significantly difficult, because the states of the objects may cause faults that cannot be easily revealed with traditional techniques. In this paper, we propose a new approach to object oriented software simulation by mapping the specification written in UML to Colored Petri Net (CPN). By introducing an algorithm to convert UML statechart to CPN, The model can be built in an early phase of the software development process, thus creating the potential for early analysis. Our proposed method considers net-explosion problem and the generated Net covers all instances of objects from different classes in the same hierarchy. A case study is presented to show the benefit of our approach and resulting Net is implemented in CPN-Tools.
Index Terms—CPN, class hierarchy, object token, object-oriented, statechart
F. A. is with the National Institute of Standards and Technology, Boulder, CO 80305 USA (e-mail: author@ boulder.nist.gov).
S. B. Jr. is with Rice University, Houston, TX 77005 USA. He is now with the Department of Physics, Colorado State University, Fort Collins, CO 80523 USA (e-mail: author@lamar. colostate.edu).
T. C. is with the Electrical Engineering Department, University of Colorado, Boulder, CO 80309 USA, on leave from the National Research Institute for Metals, Tsukuba, Japan (e-mail: email@example.com).
Cite: E. Mirzaeian, M. Babazadeh, S. Ghaderi Mojaveri, and H. Motameni, "A New Approach to Object Oriented Software Simulation Based on UML Statechart and Colored Petri Net," International Journal of Modeling and Optimization vol. 2, no. 3, pp. 299-303, 2012.