Abstract
A statechart is an extended form of conventional finite state machines for specifying reactive systems. Though the graphical syntax of statecharts has been defined, there remain concepts that are still ambiguous or need to be improved. In this paper, we formally define static semantics of statecharts. And we identify the types of nondeterminism in statecharts and give alternative ways of representing priority.
| Original language | English |
|---|---|
| Pages (from-to) | 114-120 |
| Number of pages | 7 |
| Journal | Proceedings - IEEE Computer Society's International Computer Software & Applications Conference |
| Publication status | Published - 1995 |
| Externally published | Yes |
| Event | Proceedings of the 19th Annual International Computer Software and Applications Conference COMPSAC '95 - Dallas, TX, USA Duration: 1995 Aug 9 → 1995 Aug 11 |
ASJC Scopus subject areas
- Software
- Computer Science Applications