The Equivalence of Statecharts
(2003)
Conference Proceeding
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
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 l... Read More about The Equivalence of Statecharts.