DocumentCode
1652142
Title
On semantics and refinement of UML statecharts: a coalgebraic view
Author
Meng, Sun ; Naixiao, Zhang ; Barbosa, Luís S.
Author_Institution
Sch. of Math. Sci., Peking Univ., China
fYear
2004
Firstpage
164
Lastpage
173
Abstract
Statecharts was conceived as a visual formalism for the design of reactive systems. UML statecharts is an object-based variant of classical statecharts, incorporating several concepts different from the classical statecharts. This paper discusses a coalgebraic description of UML statecharts, directly derived from its operational semantics. In particular such an approach induces suitable notions of equivalence and (behavioral) refinement for statecharts. Finally, a few refinement laws are investigated to support verifiable stepwise system development with statecharts.
Keywords
Unified Modeling Language; algebraic specification; object-oriented programming; programming language semantics; UML statechart refinement; UML statechart semantics; behavioral refinement; coalgebraic description; operational semantics; reactive system design; step-wise system development; visual formalism; Concurrent computing; Context; Contracts; Informatics; Proposals; Software engineering; Software systems; Sun; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Print_ISBN
0-7695-2222-X
Type
conf
DOI
10.1109/SEFM.2004.1347517
Filename
1347517
Link To Document