The structural and semantic features of UML statecharts are analyzed firstly, and the hierarchical colored Petri net(HCPN) is constructed to solve modeling issues,especially those related to hierarchical statecharts with composite states. The Petri subnet for a composite state is composed of input/output interfaces, a state-transition part and a history state part. The input/output interfaces are used to parse entry arcs and gather exiting arcs to/from composites respectively. The state-transition part realizes transitions of the internal states. The history state part deals with memory recovery and memory cleanup of history units. After abstracting semantic rules and constrains of entry/exit transitions, their descriptions and analysis techniques of composite states based on HCPNs are illustrated. Finally, in the view of safety of UML statechart, HCPN semantic representation for completeness, consistency and reachability of statechart is elaborated. Optimizing the design of complex systems the guide in theory and practice for further research on developing automatic verification tools is provided.
Bouabana T T, Belmesk M. Formalization of UML object dynamics and behavior 2004 IEEE International Conference on Systems, Man and Cybernetics. Hague:IEEE,2004:4971-4976
Saldhana J A, Shatz S M. UML diagrams to object Petri net models:an approach for modeling and analysis Proceedings of the Int Conference on Software Engineering and Knowledge Engineering (SEKE). Chicago:Knowledge Systems Insitute, 2000:103-110
Hu Z, Shatz S M. Explicit modeling of semantics associated with composite states in UML statecharts[J].Journal of Automated Software Engineering.2006, 13(4):423-467
Ǯ����,�̹���,������,��. Startchart������Ե�������о�[J]. �ֵ��ӹ�ҵѧԺѧ��,1999, 19(3):40-44 Qian Junyan,Cai Guoyong, Gu Tianlong, et al. Research on syntax analysis of statechart specification[J]. Journal of Guilin Institute of Electronic Technology, 1999,19(3):40-44 (in Chinese)
Heimdahl M P, Leveson N G. Completeness and consistency checking of state-Based software requirements[J].IEEE Transaction on Software Engineering.1996,22(6):363-377
Murata T. Petri nets:properties, analysis and applications[J].Proceedings of the IEEE.1989,77(4):541-580