Long, Q. and Qiu, Z. and Qin, S. (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. Berlin: Springer , pp. 125-143. Lecture notes in computer science. (2885).
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.
|Item Type:||Book chapter|
|Full text:||(AM) Accepted Manuscript|
Download PDF (247Kb)
|Publisher Web site:||http://dx.doi.org/10.1007/978-3-540-39893-6_9|
|Publisher statement:||The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-39893-6_9|
|Record Created:||20 Nov 2009 16:50|
|Last Modified:||31 Mar 2015 13:02|
|Social bookmarking:||Export: EndNote, Zotero | BibTex|
|Look up in GoogleScholar | Find in a UK Library|