Reasoning with optional and preferred requirements

Neil A. Ernst, John Mylopoulos, Alex Borgida, Ivan J. Jureta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations


Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work on multi-objective optimization and user-driven prioritization to support the analysis of requirements trade-offs. Such work has focused on simple, linear models of requirements; in this paper, we work with large models of interacting requirements. We present techniques for selecting sets of solutions to a requirements problem consisting of mandatory and optional goals, with preferences among them. To find solutions, we use a modified version of the framework from Sebastiani et al.[1] to label our requirements goal models. For our framework to apply to a problem, no numeric valuations are necessary, as the language is qualitative. We conclude by introducing a local search technique for navigating the exponential solution space. The algorithm is scalable and approximates the results of a naive but intractable algorithm.

Original languageEnglish (US)
Title of host publicationConceptual Modeling, ER 2010 - 29th International Conference on Conceptual Modeling, Proceedings
Number of pages14
StatePublished - 2010
Event29th International Conference on Conceptual Modeling, ER 2010 - Vancouver, BC, Canada
Duration: Nov 1 2010Nov 4 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6412 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other29th International Conference on Conceptual Modeling, ER 2010
CityVancouver, BC

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Reasoning with optional and preferred requirements'. Together they form a unique fingerprint.

Cite this