Abstract

In this paper, we consider three distinct and connected modelling activities at the Requirements Engineering (RE) level. Within the context of reactive systems, we suggest how these three activities can be supported by the use of appropriate formal languages, namely Kaos, and Timed Automata. The i* framework is used for linking the various formal models and for providing a "high level" model in terms of which organizational issues are captured. A small process control example is used to illustrate the proposed approach.

Citations