On the performance of UML state machine interpretation at runtime
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
| Hi-index | 0.01 |
UML is a semi-formal laguage, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML statechart diagrams are a notation for describing behaviors in the framework of UML. UML statechart diagrams differ from classical statecharts, as defined by Harel, for which formailizations and results are available in the literature. This paper provides a method of formalizing syntax and semantics of UML statecharts with Z. The hierarchical and concurrent structure of states is discussed. Thsi semantics helps to determine whether the software design is consistent, unambiguous and complete.