Authors: Huaikou Miao, Xuede Zhan
Tags: 2004, conceptual modeling
UML is a language for specifying, visualizing and documenting object-oriented systems. However, UML statecharts lack precisely defined syntax and semantics. This paper provides a method of formalizing semantics of UML statecharts with Z. According to this precise semantics, UML statecharts are transformed into FREE (Flattened Regular Expression) state models. The hierarchical and concurrent structure of states is flattened in the resulting FREE state model. The model helps to determine whether the software design is consistent, unambiguous and complete. It is also beneficial to software testing.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-540-30464-7_56
