On the concurrent behavior of SCR specifications

Hyoung Seok Hong, Sungdeok Cha, Yong Rae Kwon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Title of host publicationProceedings - IEEE Computer Society's International Computer Software and Applications Conference
PublisherIEEE
Pages258-263
Number of pages6
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

Other

OtherProceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97
CityWashington, DC, USA
Period97/8/1397/8/15

Fingerprint

Thyristors
Specifications
Semantics

ASJC Scopus subject areas

  • Software

Cite this

Hong, H. S., Cha, S., & Kwon, Y. R. (1997). On the concurrent behavior of SCR specifications. In Proceedings - IEEE Computer Society's International Computer Software and Applications Conference (pp. 258-263). IEEE.

On the concurrent behavior of SCR specifications. / Hong, Hyoung Seok; Cha, Sungdeok; Kwon, Yong Rae.

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. IEEE, 1997. p. 258-263.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hong, HS, Cha, S & Kwon, YR 1997, On the concurrent behavior of SCR specifications. in Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. IEEE, pp. 258-263, Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97, Washington, DC, USA, 97/8/13.
Hong HS, Cha S, Kwon YR. On the concurrent behavior of SCR specifications. In Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. IEEE. 1997. p. 258-263
Hong, Hyoung Seok ; Cha, Sungdeok ; Kwon, Yong Rae. / On the concurrent behavior of SCR specifications. Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. IEEE, 1997. pp. 258-263
@inproceedings{86448d28e72847b3908557518cf67c98,
title = "On the concurrent behavior of SCR specifications",
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.",
author = "Hong, {Hyoung Seok} and Sungdeok Cha and Kwon, {Yong Rae}",
year = "1997",
language = "English",
pages = "258--263",
booktitle = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",
publisher = "IEEE",

}

TY - GEN

T1 - On the concurrent behavior of SCR specifications

AU - Hong, Hyoung Seok

AU - Cha, Sungdeok

AU - Kwon, Yong Rae

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030690749&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030690749&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0030690749

SP - 258

EP - 263

BT - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

PB - IEEE

ER -