Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham Research Online
You are in:

The equivalence of Statecharts.

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: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library