The Equivalence of Statecharts

This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts using bisimulation on configurations. An input/response trace model is also investigated at the level of observable behaviour.

[1]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[2]  Rance Cleaveland,et al.  A compositional approach to statecharts semantics , 2000, SIGSOFT '00/FSE-8.

[3]  Julian Bradfield.  CONCUR '96: Concurrency Theory , 1996 .

[4]  Benjamin C. Pierce,et al.  Theoretical Aspects of Computer Software , 2001, Lecture Notes in Computer Science.

[5]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

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

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

[8]  Joost-Pieter Katoen,et al.  A probabilistic extension of UML statecharts: Specification and Verification. , 2002 .

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

[10]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[11]  Jin Song Dong,et al.  Overview of the Semantics of TCOZ , 1999, IFM.

[12]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[13]  Cornelis Huizing,et al.  Semantics of reactive systems : comparison and full abstraction , 1991 .

[14]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[15]  Shengchao Qin,et al.  Mapping Statecharts to Verilog for Hardware/Software Co-specification , 2003, FME.

[16]  He Jifeng.  An Algebraic Approach to the VERILOG Programming , 2003 .

[17]  Jim Davies,et al.  A Brief History of Timed CSP , 1995, Theor. Comput. Sci..

[18]  Jifeng He.  An Algebraic Approach to the VERILOG Programming , 2002, 10th Anniversary Colloquium of UNU/IIST.

[19]  Amir Pnueli,et al.  What is in a Step: On the Semantics of Statecharts , 1991, TACS.