Approximate Reasoning about Priorities of Imprecise Conflicting Requirements

Elasticity in an imprecise requirement needs to be captured to enable the trade-off analysis of conflicting requirements. One of the most important issues in the trade-off analysis of conflicting requirements is to understand their priorities. Requirement analysts need to know not only the relative ordering of requirements based on their importance but also how much a requirement is more important than another requirement in order to achieve an effective trade-off between conflicting requirements. Existing formal methods for requirement engineering are limited in addressing these issues. This paper presents a formal methodology for reasoning about their priority by analyzing the customer’s trade-off preference among imprecise conflicting requirements. The elasticity in imprecise requirements is captured using fuzzy logic. Conflicting and cooperative relationships are classified to detect the conflicts between requirements. Multiple requirements are combined based fuzzy multi-criteria decision making techniques. We have also developed a possibilistic reasoning framework for inferring the lower bound of relative priority from case analysis. Consistency and nonredundancy criteria are established to facilitate the aggregation of possibilistic statement on the lower bounds of relative priority. Finally, we describe a process for transforming the lower bounds of relative priority into weights of importance so that they can be used in the aggregation of conflicting requirements to resolve conflicts.