Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 6 / Issue 7

available in:   HTML (59 kB) PDF (287 kB) PS (144 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-006-07-0679


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