Reactions: an activation scheme specification language

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