Application of the FOREST Approach to the Light Control Case Study

Martin Kronenburg (University of Kaiserslautern, Germany)

Christian Peper (University of Kaiserslautern, Germany)

Abstract: Forest is a requirements engineering approach designed to support the creation of precise and intelligible problem specifications of reactive systems. It integrates a product model, a process model, and an editing tool. In this paper, we present the results of applying the Forest approach to the Light Control Case Study. This includes the presentation of excerpts of the resulting problem specification, as well as the discussion of the strengths and shortcomings of the Forest approach.

Keywords: formal requirements specification, object-orientation, problem specification, real-time temporal logic

Categories: C.3, D.2.1, D.2.2, F.3.1, F.4.3