Title :
Reactions: an activation scheme specification language
Author_Institution :
Dept. of Software Eng., Israel Aircraft Ind., Yehud, Israel
Abstract :
It is widely recognized that the special properties characterizing a reactive system especially affect its activation requirements. Therefore, the authors propose a specification language, called Reactions, specifically designed to express the activation scheme of a reactive system. The language is of a declarative form and associated with a formal semantics providing for its practical use as a programming language. In addition, a Reactions specification has a natural representation as a set of interval temporal logics formulae, thus enabling a formal analysis of a specification written in the language
Keywords :
concurrency control; specification languages; temporal logic; Reactions specification; activation scheme specification language; declarative form; domestic alarm system specification; fire alarm; formal analysis; formal semantics; interval temporal logics formulae; nondeterministic concurrency; reactive system; Aerospace industry; Aircraft propulsion; Character recognition; Computational complexity; Computer architecture; Computer industry; Concurrent computing; Logic; Software engineering; Specification languages;
Conference_Titel :
Real Time Systems, 1991. Proceedings., Euromicro '91 Workshop on
Conference_Location :
Paris-Orsay
Print_ISBN :
0-8186-2210-5
DOI :
10.1109/EMWRT.1991.144100
