The Equivalence of Statecharts

Long, Q.; Qiu, Z.; Qin, S.; Dong, J.S.; Woodcock, J.

doi:10.1007/978-3-540-39893-6_9

The Equivalence of Statecharts

Long, Q.; Qiu, Z.; Qin, S.; Dong, J.S.; Woodcock, J.

Authors

Q. Long

Z. Qiu

S. Qin

J.S. Dong

J. Woodcock

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.

Citation

Long, Q., Qiu, Z., Qin, S., Dong, J., & Woodcock, J. (2003). The Equivalence of Statecharts. In Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, 5-7 November 2003, Singapore ; proceedings (125-143). https://doi.org/10.1007/978-3-540-39893-6_9

Conference Name	Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods (ICFEM 2003)
Conference Location	Singapore
Start Date	Nov 5, 2003
End Date	Nov 7, 2003
Publication Date	Nov 7, 2003
Deposit Date	Nov 20, 2009
Publicly Available Date	Dec 11, 2009
Pages	125-143
Series Title	Lecture notes in computer science
Series Number	2885
Series ISSN	0302-9743,1611-3349
Book Title	Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, 5-7 November 2003, Singapore ; proceedings.
ISBN	9783540204619
DOI	https://doi.org/10.1007/978-3-540-39893-6_9