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 (Copyright agreement prohibits open access to the full-text) - Accepted Version |
Publisher-imposed embargo (247Kb)
|Publisher Web site:||http://dx.doi.org/10.1007/978-3-540-39893-6_9|
|Record Created:||20 Nov 2009 16:50|
|Last Modified:||09 Oct 2014 13:35|
|Social bookmarking:||Export: EndNote, Zotero | BibTex|
|Usage statistics||Look up in GoogleScholar | Find in a UK Library|