Translating UML Statechart Diagrams to X-Nets

UML statechart diagrams mainly used to describe the behaviors of objects. Until now, UML statechart diagrams has no standard formal semantics, so it is very difficult to analysis and verification UML statechart diagrams. To formally describe the semantics of UML statechart diagrams, in this paper a new type arc called delete arc was proposed. Together with the input port and inhibitor arc which have been applied in petri net, an extended Petri net model, X-Net, which can precisely describe the semantics of UML statechart diagrams was defined. At the same time, The transition rules of X-Net also were defined. Extended Hierarchical Automata (EHA) that is an abstract syntax formalizing UML statechart diagrams can facilitate the conversion from UML statechart diagrams to X-Net and a conversion procedure translating EHA to X-Net was presented.