%0 Conference Paper
%B 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China
%D 2004
%T On Semantics and Refinement of UML Statecharts: A Coalgebraic View
%A M. Sun
%A Z. Naixião
%A Luis Soares Barbosa
%E J. Cuellar
%E Zhiming Liu
%C Beijing, China
%I IEEE Computer Society Press
%P 164–173
%X <p>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.</p>
%8 September
%> https://haslab.uminho.pt/sites/default/files/lsb/files/sefm04.pdf