Loading...
Please wait, while we are loading the content...
Similar Documents
Reasoning about Agents in Goal-Oriented Requirements Engineering (2001)
| Content Provider | CiteSeerX |
|---|---|
| Researcher | Letier, Emmanuel |
| Abstract | 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). |
| File Format | |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Goal-oriented Requirement Alternative Responsibility Assignment Goal Refinement Process Goal Specification Systematic Technique Kaos Goal-oriented Method Alternative Obstacle Resolution High-level Goal Goal Refinement Requirement Engineering Software Environment London Ambulance Requirement Elaboration Agent Interface Formal Model Kaos Framework Operational Requirement Significant Size Real Case Study Exceptional Agent Behavior Responsibility Assignment Coherent Body Domain Property Alternative Goal Refinement Single Agent Violate Goal Idealized Goal |
| Content Type | Text |
| Resource Type | Thesis |
