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).
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.
| Item Type: | Book chapter |
|---|---|
| Full text: | PDF - Accepted Version (247Kb) |
| Status: | Peer-reviewed |
| 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 |
![[Feed]](/images/RSSwebsmall.jpg)
![[Tweets]](/images/Twitterwebsmall.png)
