UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Managing conflicts in goal-driven requirements engineering

van Lamsweerde, A; Darimont, R; Letier, E; (1998) Managing conflicts in goal-driven requirements engineering. IEEE T SOFTWARE ENG , 24 (11) 908 - 926.

Full text not available from this repository.


A wide range of inconsistencies can arise during requirements engineering as goals and requirements are elicited from multiple stakeholders. Resolving such inconsistencies sooner or later in the process is a necessary condition for successful development of the software implementing those requirements. The paper first reviews the main types of inconsistency that can arise during requirements elaboration, defining them in an integrated framework and exploring their interrelationships. It then concentrates on the specific case of conflicting formulations of goals and requirements among different stakeholder viewpoints or within a single viewpoint. A frequent, weaker form of conflict called divergence is introduced and studied in depth. Formal techniques and heuristics are proposed for detecting conflicts and divergences from specifications of goals/ requirements and of domain properties. Various techniques are then discussed for resolving conflicts and divergences systematically by introduction of new goals or by transformation of specifications of goals/objects toward conflict-free versions. Numerous examples are given throughout the paper to illustrate the practical relevance of the concepts and techniques presented. The latter are discussed in the framework of the KAOS methodology for goal-driven requirements engineering.

Type: Article
Title: Managing conflicts in goal-driven requirements engineering
Keywords: goal-driven requirements engineering, divergent requirements, conflict management, viewpoints, specification transformation, lightweight formal methods, SPECIFICATIONS, SYSTEMS
URI: http://discovery.ucl.ac.uk/id/eprint/97082
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item