The Equivalence of Statecharts

Quan  Long; Zongyan  Qiu; Shengchao Qin

doi:10.1007/978-3-540-39893-6_9

The Equivalence of Statecharts

Quan Long, Zongyan Qiu, Shengchao Qin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Formal Methods and Software Engineering. ICFEM 2003
Editors	J. S. Dong, J. Woodcock
Publisher	Springer Berlin
Pages	125-143
ISBN (Electronic)	9783540398936
ISBN (Print)	9783540204619
DOIs	https://doi.org/10.1007/978-3-540-39893-6_9
Publication status	Published - 2003
Event	Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods - , Singapore Duration: 5 Nov 2003 → 7 Nov 2003 Conference number: 5

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Berlin
Volume	2885

Conference

Conference	Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods
Abbreviated title	ICFEM 2003
Country/Territory	Singapore
Period	5/11/03 → 7/11/03

Access to Document

10.1007/978-3-540-39893-6_9

Cite this

@inproceedings{1a7315e10fbf4307a34291d52ba10366,

title = "The Equivalence of Statecharts",

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.",

author = "Quan Long and Zongyan Qiu and Shengchao Qin",

year = "2003",

doi = "10.1007/978-3-540-39893-6\_9",

language = "English",

isbn = "9783540204619",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin",

pages = "125--143",

editor = "Dong, \{J. S.\} and J. Woodcock",

booktitle = "Formal Methods and Software Engineering. ICFEM 2003",

address = "Germany",

note = "Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003 ; Conference date: 05-11-2003 Through 07-11-2003",

}

Long, Q, Qiu, Z & Qin, S 2003, The Equivalence of Statecharts. in JS Dong & J Woodcock (eds), Formal Methods and Software Engineering. ICFEM 2003. Lecture Notes in Computer Science, vol. 2885, Springer Berlin, pp. 125-143, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, Singapore, 5/11/03. https://doi.org/10.1007/978-3-540-39893-6_9

TY - GEN

T1 - The Equivalence of Statecharts

AU - Long, Quan

AU - Qiu, Zongyan

AU - Qin, Shengchao

N1 - Conference code: 5

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://dx.doi.org/10.1007/978-3-540-39893-6_9

U2 - 10.1007/978-3-540-39893-6_9

DO - 10.1007/978-3-540-39893-6_9

M3 - Conference contribution

SN - 9783540204619

T3 - Lecture Notes in Computer Science

SP - 125

EP - 143

BT - Formal Methods and Software Engineering. ICFEM 2003

A2 - Dong, J. S.

A2 - Woodcock, J.

PB - Springer Berlin

T2 - Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods

Y2 - 5 November 2003 through 7 November 2003

ER -

The Equivalence of Statecharts

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this