Abstract
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.
Supported by National Natural Science Foundation of China (No. 60173003)
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
von der Beeck, M.: A comparison of Statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863, pp. 128–148. Springer, Heidelberg (1994)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Davies, J., Schneider, S.: A brief history of Timed CSP. Theoretical Computer Science 138, 243–271 (1995)
Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Harel, D., Naamad, A.: The STATEMATE semantics of Statecharts. ACM Trans. on Software Engineering and Methodology 5(4), 293–333 (1996)
Harel, D., Pnueli, A., Schmidt, J., Sherman, R.: On the formal semantics of Statecharts. In: Symp. on Logis in Computer Science, pp. 56–64. IEEE CS Press, Los Alamitos (1987)
He, J.: An algebraic approach to the VERILOG programming. In: Proc. of 10th Anniversary Colloquium of the United Nations University / International Institute for Software Technology. Springer, Heidelberg (2002)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Hoare, C.A.R., He, J.: Unifying Theory of Programming. Prentice-Hall, Englewood Cliffs (1998)
Huizing, C.: Semantics of Reactive Systems: Comparison and Full Abstraction, Ph.D. thesis, Eindhoven University of Technology, The Netherlands (1991)
Leveson, N.G., Heimdahl, M., Hildreth, H., Reese, J.: Requirements specifications for process control systems. IEEE Trans. on Software Engineering 20(9), 684–707 (1994)
Lüttgen, G., von der Beeck, M., Cleaveland, R.: A compositional approach to Statecharts semantics, NASA/ICASE Report No.2000-12 (March 2000)
Mahony, B., Dong, J.S.: Overview of the semantics of TCOZ. In: IFM 1999: Integrated Formal Methods, pp. 66–85. Springer, Heidelberg (1999)
Pnueli, A., Shalev, M.: What is in a step: on the semantics of Statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 244–264. Springer, Heidelberg (1991)
Qin, S., Chin, W.N.: Mapping Statecharts to VERILOG for hardware/software co-specification. In: FM 2003: the 12th International FME Symposium (2003) (to appear)
Schettini, M., Peron, A., Tini, S.: Equivalences of Statecharts. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 687–702. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Long, Q., Qiu, Z., Qin, S. (2003). The Equivalence of Statecharts. In: Dong, J.S., Woodcock, J. (eds) Formal Methods and Software Engineering. ICFEM 2003. Lecture Notes in Computer Science, vol 2885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39893-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-39893-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20461-9
Online ISBN: 978-3-540-39893-6
eBook Packages: Springer Book Archive