JUCS - Journal of Universal Computer Science 6(7): 731-757, doi: 10.3217/jucs-006-07-0731
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study
expand article infoJeffrey M. Thompson‡, Michael W. Whalen‡, Mats P. E. Heimdahl‡
‡ University of Minnesota, Department of Computer Science and Engineering, Minneapolis, MN, United States of America

Corresponding author: Jeffrey Thompson ( thompson@cs.umn.edu )

© Jeffrey Thompson, Michael Whalen, Mats P. E. Heimdahl.
This article is freely available under the J.UCS Open Content License.
Citation: Thompson JM, Whalen MW, Heimdahl MPE (2000) Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. JUCS - Journal of Universal Computer Science 6(7): 731-757. https://doi.org/10.3217/jucs-006-07-0731
Open Access
Abstract
Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing the requirements for the Light Control System case study, which was proposed before the Dagstuhl Seminar on Requirements Capture, Documentation, and Validation in June of 1999. The paper focuses primarily on how the requirements were specified: what techniques were used, and what the results were. The language used to capture the requirements is RSML-e; a state-based specification language with a fully specified formal denotational semantics. In addition, the Nimbus environment - a toolset supporting RSML-e - is used to visualize and execute the high-level requirements.
Keywords
light control system, specification-based prototyping, formal requirements modeling, state-based specification languages, requirements execution and simulation