Grail/Kaos: a tool for goal-directed requirement analysis
Robert Darimont, E. Delor, Philippz Massonet, Axel van Lamsweerde · Digital Access to Libraries · 1998
Most requirement analysis methods focus on the description of system and data behaviour. The original features of Kaos are the addition of a description of the objectives for the system and its environment, and a description of the agents (human or automated) which have been given responsibility for achieving these objectives. The Kaos language and models, and the implementation support tool Grail are presented, and three industrial applications of Grail are outlined.