Abstract
The SCR method models a system using a set of variables and state machines whose behavior is described by tabular notations. This paper proposes an interleaving semantics for SCR specifications in terms of timed transition systems. The semantics is given by identifying each of the components of a timed transition system from a given SCR specification. The concurrent behavior of a SCR specification is defined as a set of computations of the resulting timed transition system.
| Original language | English |
|---|---|
| Pages (from-to) | 258-263 |
| Number of pages | 6 |
| Journal | Proceedings - IEEE Computer Society's International Computer Software and Applications Conference |
| Publication status | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97 - Washington, DC, USA Duration: 1997 Aug 13 → 1997 Aug 15 |
ASJC Scopus subject areas
- Software
- Computer Science Applications