On Semantics and Refinement of UML Statecharts: A Coalgebraic View

Citation:
Sun M, Naixião Z, Barbosa LS.  2004.  On Semantics and Refinement of UML Statecharts: A Coalgebraic View. 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China. :164–173.

Date Presented:

September

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.

Citation Key:

SZB04

DOI:

10.1109/SEFM.2004.1347517

PreviewAttachmentSize
sefm04.pdf515.07 KB