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
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;
Conference_Titel :
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Print_ISBN :
0-7695-2222-X
DOI :
10.1109/SEFM.2004.1347517
