JUCS - Journal of Universal Computer Science 6(7): 679-703, doi: 10.3217/jucs-006-07-0679
Application of the FOREST Approach to the Light Control Case Study
expand article infoMartin Kronenburg‡, Christian Peper‡
‡ University of Kaiserslautern, Germany

Corresponding author: Martin Kronenburg ( kronburg@informatik.uni-kl.de )

© Martin Kronenburg, Christian Peper.
This article is freely available under the J.UCS Open Content License.
Citation: Kronenburg M, Peper C (2000) Application of the FOREST Approach to the Light Control Case Study. JUCS - Journal of Universal Computer Science 6(7): 679-703. https://doi.org/10.3217/jucs-006-07-0679
Open Access
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, problem specification, real-time temporal logic, object-orientation