loading...
Formalizing the Semantics of UML Statecharts with Z*
Wuhan, China September 14-September 16
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CIT.2004.1357344Fourth International Conference on Co ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Xuede Zhan, Huaikou Miao, Ling Liu, "Formalizing the Semantics of UML Statecharts with Z*," Computer and Information Technology, International Conference on, pp. 1116-1121, Fourth International Conference on Computer and Information Technology (CIT'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CIT.2004.1357344,
author = {Xuede Zhan and Huaikou Miao and Ling Liu},
title = {Formalizing the Semantics of UML Statecharts with Z*},
journal ={Computer and Information Technology, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2216-5},
pages = {1116-1121},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2004.1357344},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Technology, International Conference on
TI - Formalizing the Semantics of UML Statecharts with Z*
SN - 0-7695-2216-5
SP1116
EP1121
A1 - Xuede Zhan,
A1 - Huaikou Miao,
A1 - Ling Liu,
PY - 2004
KW - UML
KW - Z
KW - formal semantics
KW - UML statechart
VL - 0
JA - Computer and Information Technology, International Conference on
ER -
 
Xuede Zhan, Shanghai University
Huaikou Miao, Shanghai University
Ling Liu, Shanghai University
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.
Index Terms:
UML, Z, formal semantics, UML statechart
Citation:
Xuede Zhan, Huaikou Miao, Ling Liu, "Formalizing the Semantics of UML Statecharts with Z*," cit, pp.1116-1121, Fourth International Conference on Computer and Information Technology (CIT'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.