Title :
A formal approach to the analysis of priorities of imprecise conflicting requirements
Author :
Yen, John ; Liu, Frank X Q
Author_Institution :
Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Abstract :
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
Keywords :
formal specification; fuzzy logic; inference mechanisms; possibility theory; uncertainty handling; case analysis; customer´s trade-off preference; elasticity; formal approach; fuzzy logic; imprecise conflicting requirements; possibilistic reasoning framework; priority analysis; relative ordering; relative priority inference; requirement importance; requirements analysis; trade-off analysis; uncertainty; Computer science; Elasticity; Fuzzy logic; Fuzzy sets; Fuzzy systems; Logic testing; Uncertainty;
Conference_Titel :
Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-7312-5
DOI :
10.1109/TAI.1995.479509