On semantics and refinement of UML statecharts: a coalgebraic view

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, directl...

Full description

Bibliographic Details
Main Author: Sun Meng (author)
Other Authors: Zhang Naixiao (author), Barbosa, L. S. (author)
Format: conferencePaper
Language:eng
Published: 2004
Subjects:
Statechart
Semantics
Coalgebra
Refinement
Online Access:http://hdl.handle.net/1822/36172
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/36172

Internet

http://hdl.handle.net/1822/36172

Similar Items