Goal-directed Requirements Acquisition (1993) [308 citations — 18 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Anne Dardenne and Axel Van Lamsweerde and Stephen Fickas},
title = {Goal-directed Requirements Acquisition},
booktitle = {Science of Computer Programming},
year = {1993},
pages = {3--50}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. The paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements models are acquired as instances of a conceptual meta-model. The latter can be represented as a graph where each node captures an abstraction such as, e.g., goal, action, agent, entity, or event, and where the edges capture semantic links between such abstractions. Well-formedness properties on nodes and links constrain their instances - that is, elements of requirements models. Requirements acquisition processes then correspond to particular ways of traversing the meta-model graph to acquire approp...
Citations
No citations identified.
