Title :
On the concurrent behaviour of SCR specifications
Author :
Hong, Hyoung Seok ; Cha, Sung Deok ; Kwon, Yong Rae
Author_Institution :
Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Abstract :
The SCR method models a system using a set of variables and state machines whose behaviour 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 behaviour of a SCR specification is defined as a set of computations of the resulting timed transition system
Keywords :
concurrency control; finite state machines; formal specification; temporal logic; SCR method; SCR specifications; Software Cost Reduction; concurrent behaviour; condition tables; event tables; finite state machine; interleaving semantics; mode transition tables; real-time systems; requirements specification; state machines; tabular notations; timed transition systems; Aerospace electronics; Computational modeling; Computer science; Concurrent computing; Costs; Interleaved codes; Power system modeling; Real time systems; Speech synthesis; Thyristors;
Conference_Titel :
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-8105-5
DOI :
10.1109/CMPSAC.1997.624810
