Title :
What has requirements research ever done for us? (goal-modeling techniques)
Author_Institution :
City Univ., London, UK
Abstract :
Requirements research has produced two principal goal-modeling techniques-knowledge acquisition in automated specification (KAOS) and i*. Both investigate goals that can provide criteria for determining whether requirements are relevant and complete. KAOS treats goals as desired system properties that traditional requirements-gathering techniques discover. It structures them into directed acyclic graphs. The i* approach models information systems as heterogeneous actors with different, often competing goals that nonetheless depend on each other to undertake their tasks and achieve these goals.
Keywords :
formal specification; formal verification; knowledge acquisition; management information systems; automated specification; directed acyclic graph; goal-modeling techniques; information system; knowledge acquisition; requirements research; requirements-gathering techniques discover; Aerospace industry; Hospitals; Information analysis; Information systems; Legged locomotion; Publishing; Refining; Software engineering; Software prototyping; Traffic control; agent-oriented requirements; and scenarios simulations; goal modeling;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.2005.113