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

[1]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[2]  Andrea Maggiolo-Schettini,et al.  Equivalences of Statecharts , 1996, CONCUR.

[3]  Jan Jürjens.  Formal Semantics for Interacting UML subsystems , 2002, FMOODS.

[4]  José Nuno Oliveira,et al.  A reification calculus for model-oriented software specification , 1990, Formal Aspects of Computing.

[5]  Bernhard K. Aichernig,et al.  Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases , 2003 .

[6]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[7]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[8]  Bart Jacobs,et al.  Object-oriented hybrid systems of coalgebras plus monoid actions , 2000, Theor. Comput. Sci..

[9]  Jifeng He.  Process simulation and refinement , 2005, Formal Aspects of Computing.

[10]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[11]  Reiko Heckel,et al.  Compositional SOS and beyond: a coalgebraic view of open systems , 2002, Theor. Comput. Sci..

[12]  Diego Latella,et al.  Towards a Formal Operational Semantics of UML Statechart Diagrams , 1999, FMOODS.

[13]  José Nuno Oliveira,et al.  State-based Components Made Generic , 2003, CMCS.

[14]  Bart Jacobs,et al.  Objects and Classes, Co-Algebraically , 1995, Object Orientation with Parallelism and Persistence.

[15]  Sun Meng,et al.  On Refinement of Generic State-Based Software Components , 2004, AMAST.

[16]  A. Kock.  Strong functors and monoidal monads , 1972 .

[17]  Bran Selic,et al.  Real-time object oriented modeling and design , 1994 .

[18]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[19]  Bart Jacobs,et al.  Simulations in Coalgebra , 2003, CMCS.

[20]  C. A. R. Hoare,et al.  Prespecification in Data Refinement , 1987, Inf. Process. Lett..