Abstract: UML statechart are finite state machines extended with hierarchy, orthogonality and broadcasting. It can describes all dynamic actions of the element in system. But it is very difficult to ...