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.
|Number of pages||6|
|Journal||Proceedings - IEEE Computer Society's International Computer Software and Applications Conference|
|Publication status||Published - 1997|
|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
- Computer Science Applications