This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence rela- tion between Statecharts using ...

This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts ...

This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts ...

The statechart is supposed to evolve from an initial con guration by \reacting" to the set of signals communicated by the environment at the rst instant of time.

Statecharts are a speci cation language for reactive systems, introduced origi- nally in [4]. The Statecharts formalism belongs to the family of synchronous ...

This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts us.

This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts ...

we discuss the equivalence of statecharts as equivalence of method specifications. In section 4 we present a set of ba- sic equivalence transformations for ...

The equivalence of statecharts. Lecture Notes ... Statecharts and defines an equivalence relation between Statecharts using bisimulation on configurations.

Different types of equivalences of statechart diagrams, including isomorphism, strong behavioural equivalence and weak behavioural equivalence are defined ...