On Semantics and Refinement of UML Statecharts: A Coalgebraic View

Authors:
Sun Meng;Zhang Naixiao;Luis S. Barbosa
Affiliations:
Peking University;Peking University;Minho University
Venue:
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Year:
2004

Citing 0
Cited 6

A refinement calculus for software components and architectures

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Specification and refinement of mobile systems in MTLA and mobile UML

Theoretical Computer Science - Algebraic methodology and software technology
A Coalgebraic Semantic Framework for Component-based Development in UML

Electronic Notes in Theoretical Computer Science (ENTCS)
SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts

WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Refinement patterns for hierarchical UML state machines

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Refinement patterns for ASTD

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

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 step-wise system development with statecharts.