Title :
Formalizing the semantics of UML statecharts with Z
Author :
Xuede Than ; Miao, Huaikou ; Liu, Ling
Author_Institution :
Sch. of Comput. Eng. & Sci., Shanghai Univ., China
Abstract :
UML is a semi-formal language, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML statechart diagrams are a notation for describing behaviours in the framework of UML. UML statechart diagrams differ from classical statecharts, as defined by Haret, for which formalizations 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. This semantics helps to determine whether the software design is consistent, unambiguous and complete.
Keywords :
Unified Modeling Language; diagrams; formal specification; programming language semantics; UML statechart diagrams; UML statecharts; Z language; concurrent state structure; dynamic semantics; formal semantics; hierarchical state structure; semiformal language; software design; static semantics; syntax; Digital systems; Mathematics; Object oriented modeling; Packaging machines; Process design; Software design; Software systems; Standards development; Unified modeling language; Visualization;
Conference_Titel :
Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on
Print_ISBN :
0-7695-2216-5
DOI :
10.1109/CIT.2004.1357344
