A formal approach to the analysis of priorities of imprecise conflicting requirements

Priority analysis is one of the most important issues in the trade-off analysis of imprecise conflicting requirements whose elasticity is captured using fuzzy logic. Requirement analysts need to know not only the relative ordering of requirements based on their importance but also how much one requirement is more important than another requirement in order to achieve an effective trade-off. This paper presents a formal approach for reasoning about relative priority by analysing a customer's trade-off preference among imprecise conflicting requirements. A possibilistic reasoning framework for inferring relative priority from case analysis under uncertainty is also developed.

[1]  John Yen,et al.  A Fuzzy Logic-based Methodology for the Acquisition and Analysis of Imprecise Requirements , 1994 .

[2]  William N. Robinson,et al.  Negotiation behavior during requirement specification , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[3]  David Lorge Parnas,et al.  Predicate Logic for Software Engineering , 1993, IEEE Trans. Software Eng..

[4]  John Yen,et al.  Approximate Reasoning about Priorities of Imprecise Conflicting Requirements , 1995, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[5]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[6]  Thomas L. Saaty,et al.  Priority setting in complex problems , 1983, IEEE Transactions on Engineering Management.