The STATEMATE semantics of statecharts

Open Access

1 October 1996

journal article
research article
Published by Association for Computing Machinery (ACM) in ACM Transactions on Software Engineering and Methodology

Vol. 5 (4) , 293-333
https://doi.org/10.1145/235321.235322

Abstract

We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given step should take effect in the current step or in the next one, this semantics adopts the latter approach.

Keywords

This publication has 7 references indexed in Scilit:

A comparison of Statecharts variants
Published by Springer Nature ,1994
Requirements specification for process-control systems
IEEE Transactions on Software Engineering, 1994
The Esterel synchronous programming language: design, semantics, implementation
Science of Computer Programming, 1992
Timed and Hybrid Statecharts and their textual representation
Published by Springer Nature ,1992
Introduction to design choices in the semantics of Statecharts
Information Processing Letters, 1991
STATEMATE: a working environment for the development of complex reactive systems
IEEE Transactions on Software Engineering, 1990
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987