@conference {SZB04,
	title = {On Semantics and Refinement of UML Statecharts: A Coalgebraic View},
	booktitle = {2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China},
	year = {2004},
	month = {September},
	pages = {164{\textendash}173},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {Beijing, China},
	abstract = {<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>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/sefm04.pdf},
	author = {M. Sun and Z. Naixi{\~a}o and Luis Soares Barbosa},
	editor = {J. Cuellar and Zhiming Liu}
}