On the concurrent behavior of SCR specifications

Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon

Research output: Contribution to journalConference article

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 languageEnglish
Pages (from-to)258-263
Number of pages6
JournalProceedings - IEEE Computer Society's International Computer Software and Applications Conference
Publication statusPublished - 1997
Externally publishedYes
EventProceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97 - Washington, DC, USA
Duration: 1997 Aug 131997 Aug 15

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'On the concurrent behavior of SCR specifications'. Together they form a unique fingerprint.

  • Cite this