Reactions: an activation scheme specification language

Author

Gafni, Vered

Author_Institution

Dept. of Software Eng., Israel Aircraft Ind., Yehud, Israel

fYear

1991

fDate

12-14 Jun 1991

Firstpage

164

Lastpage

173

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real Time Systems, 1991. Proceedings., Euromicro '91 Workshop on

Conference_Location

Paris-Orsay

Print_ISBN

0-8186-2210-5

Type

conf

DOI

10.1109/EMWRT.1991.144100

Filename

144100