The thesis proposes a number of techniques for elaborating requirements constructively from high-level goals. The techniques are based on the KAOS goal-oriented method for requirements engineering. This method consists in identifying goals and refining them into subgoals until the latter can be assigned as responsibilities of single agents such as humans, devices and software. Domain properties and assumptions about the software environment are also used during the goal refinement process. The method supports the exploration of alternative goal refinements and alternative responsibility assignments of goals to agents. It also supports the identification and resolution of conflicts between goals, and the identification and resolution of exceptional agent behaviors, called obstacles, that violate goals and assumptions produced during the goal refinement process. The thesis enriches the KAOS framework through three kinds of techniques: (a) techniques for identifying agents, goal refinements, and alternative responsibility assignments, and for deriving agent interfaces from such responsibility assignments; (b) techniques for deriving operational requirements from goal specifications; (c) techniques for generating obstacles to the satisfaction of idealized goals and assumptions, and for generating alternative obstacle resolutions. The result is a coherent body of systematic techniques for requirements elaboration that are both theoretically well-founded (a formal model of agent is defined) and effective in practice (the techniques are validated on two real case studies of significant size: the London ambulance despatching system, and the Bay Area Rapid Transit train system).
Identifer | oai:union.ndltd.org:BICfB/oai:ucl.ac.be:ETDUCL:BelnUcetd-11042002-163458 |
Date | 22 May 2002 |
Creators | Letier, Emmanuel |
Publisher | Universite catholique de Louvain |
Source Sets | Bibliothèque interuniversitaire de la Communauté française de Belgique |
Language | English |
Detected Language | English |
Type | text |
Format | application/pdf |
Source | http://edoc.bib.ucl.ac.be:81/ETD-db/collection/available/BelnUcetd-11042002-163458/ |
Rights | unrestricted, Je certifie qu'au besoin, j'ai obtenu et joint à ceci une permission écrite du propriétaire de chaque partie de ma thèse qui aurait été reproduite en permettant la distribution comme spécifié ci-dessous. Je certifie que la version de la thèse soumise est la meme que celle qui a été approuvée par le jury. J'accorde à l'Université Catholique de Louvain ou ses membres une licence non-exlusive pour archiver et rendre accessible, sous les conditions spécifiées ci-dessous, ma thèse en entier ou en partie par tous les moyens de communication connus pour l'instant.Je conserve tous les autres droits de propiété pour la reproduction de ma thèse. Je conserve également le droit d'utiliser dans de futurs travaux toute ou des parties de cette thèse. |
Page generated in 0.001 seconds