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:||PDF - Accepted Version (247Kb)|
|Publisher Web site:||http://dx.doi.org/10.1007/b94115|
|Publisher statement:||The original publication is available at www.springerlink.com|
|Record Created:||20 Nov 2009 16:50|
|Last Modified:||24 Feb 2012 09:55|
|Social bookmarking:||Export: EndNote, Zotero | BibTex|
|Usage statistics||Look up in GoogleScholar | Find in a UK Library|