Goal-directed concept acquisition in requirements elicitation
Dardenne, Anne;Fickas, Stephen;van Lamsweerde, Axel
(1991) 6th international workshop on Software specification and design
Files
No attached file found for this publication.
Details
Authors
Dardenne, AnneUnamur
Author
Fickas, StephenUniversity of Oregon
Author
van Lamsweerde, AxelUCLouvain
Author
Abstract
Requirements analysis includes an acquisition step where a global model for the specification of the system and its environment is elaborated. This model involves concepts that are usually not found in the final formal specification, such as goals to be achieved, agents and their responsibilities, etc. This paper presents an approach for model acquisition which is driven by such goals. We describe a conceptual meta-model in terms of which requirements models are acquired. Our acquisition strategy can be viewed as a systematic way to traversing this meta-model backwards from the goals. The goal-directed acquisition strategy and the use of the meta-model are illustrated with a case study, the specification of a simple elevator system.
Dardenne, A., Fickas, S., & van Lamsweerde, A. (1991). Goal-directed concept acquisition in requirements elicitation. Proceedings of the 6th international workshop on Software specification and design, 14-21. https://hdl.handle.net/2078.5/229179