%0 Conference Paper %1 than_04_formalizing %A Than, Xuede %A Miao, Huaikou %A Liu, Ling %D 2004 %J Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on %K 2004 semantics statecharts uml z %P 1116--1121 %R 10.1109/CIT.2004.1357344 %T Formalizing the semantics of UML statecharts with Z %U http://dx.doi.org/10.1109/CIT.2004.1357344 %X 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.

@inproceedings{than_04_formalizing, 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.}, added-at = {2009-02-11T22:20:38.000+0100}, author = {Than, Xuede and Miao, Huaikou and Liu, Ling}, biburl = {https://www.bibsonomy.org/bibtex/212b5d55d45c98c48f2ccd63b88fe4a2a/leonardo}, citeulike-article-id = {566093}, doi = {10.1109/CIT.2004.1357344}, interhash = {f4fd075d36405d0af061bad36f5a9e98}, intrahash = {12b5d55d45c98c48f2ccd63b88fe4a2a}, journal = {Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on}, keywords = {2004 semantics statecharts uml z}, pages = {1116--1121}, posted-at = {2006-03-27 18:24:05}, priority = {3}, timestamp = {2009-02-11T22:20:38.000+0100}, title = {Formalizing the semantics of UML statecharts with Z}, url = {http://dx.doi.org/10.1109/CIT.2004.1357344}, year = 2004 }