From early to late formal requirements: a process-control case study
Éric Dubois, Eric S. K. Yu, Michael J. Petit · 1998
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. 1 Introduction For a long time, requirements analysis has been considered a key activity in any Software Engineering (SE) process. Recently, we have witnessed the emergence of Requirements Engineering (RE) as a distinct process within the SE process. This results from some distinguishing features of RE, e.g., (i) the focus on real-world problems rather than on the implementation of its software-based solution and (ii) the variety of involved stakeholders ranging from ...