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 (Rattened 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. © Springer-Verlag 2004.
CITATION STYLE
Zhan, X., & Miao, H. (2004). An approach to formalizing the semantics of UML statecharts. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3288, 753–765. https://doi.org/10.1007/978-3-540-30464-7_56
Mendeley helps you to discover research relevant for your work.