New Approach to Requirements Trade-Off Analysis for Complex Systems

We propose a faceted requirement classification scheme for analyzing heterogeneous requirements. The representation of vague requirements is based on L.A. Zadeh's (1986) canonical form in test score semantics and an extension of the notion of soft conditions. The trade-off among vague requirements is analyzed by identifying the relationship between requirements, which could be either conflicting, irrelevant, cooperative, counterbalance, or independent. Parameterized aggregation operators, fuzzy and/or, are selected to combine individual requirements. An extended hierarchical aggregation structure is proposed to establish a four-level requirements hierarchy to facilitate requirements and criticalities aggregation through the fuzzy and/or. A compromise overall requirement can be obtained through the aggregation of individual requirements based on the requirements hierarchy. The proposed approach provides a framework for formally analyzing and modeling conflicts between requirements, and for users to better understand relationships among their requirements.

[1]  D. Schwabe,et al.  A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition , 1989, IWSSD '89.

[2]  Bjørn N. Freeman-Benson,et al.  An incremental constraint solver , 1990, CACM.

[3]  Arie Tzvieli.  Possibility theory: An approach to computerized processing of uncertainty , 1990, J. Am. Soc. Inf. Sci..

[4]  R. Felix,et al.  Multiple attribute decision making based on fuzzy relationships between objectives and its application in metal forming , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[5]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[6]  H. Fuks,et al.  Multiparty specification , 1989, IWSSD '89.

[7]  Richard C. Waters,et al.  The Requirements Apprentice: Automated Assistance for Requirements Acquisition , 1991, IEEE Trans. Software Eng..

[8]  Thomas L. Saaty,et al.  Decision Making for Leaders: The Analytical Hierarchy Process for Decisions in a Complex World , 1982 .

[9]  Steve M. Easterbrook,et al.  Domain modelling with hierarchies of alternative viewpoints , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[10]  P.G. Selfridge,et al.  Knowledge-based software engineering , 1992, IEEE Expert.

[11]  U. Kaymak,et al.  Selecting an aggregation operator for fuzzy decision making , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[12]  Jonathan Lee,et al.  Task-Based Specifications Through Conceptual Graphs , 1996, IEEE Expert.

[13]  H. Zimmermann,et al.  Fuzzy Set Theory and Its Applications , 1993 .

[14]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

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

[16]  Hans-Jürgen Zimmermann,et al.  Fuzzy Set Theory - and Its Applications , 1985 .

[17]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[18]  John Rushby,et al.  Quality Measures and Assurance for AI (Artificial Intelligence) Software , 1988 .

[19]  John Yen,et al.  Fuzzy logic as a basis for specifying imprecise requirements , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[20]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[21]  Christer Carlsson,et al.  On Optimization with Interdependent Multiple Criteria , 1993 .

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

[23]  R. Felix.  Relationships between goals in multiple attribute decision making , 1994 .

[24]  H. Zimmermann,et al.  Decisions and evaluations by hierarchical aggregation of information , 1983 .

[25]  Gruia-Catalin Roman,et al.  A taxonomy of current issues in requirements engineering , 1985, Computer.

[26]  John Yen,et al.  A task-based methodology for specifying expert systems , 1993, IEEE Expert.

[27]  John Rushby,et al.  Quality Measures and Assurance for AI Software1 , 1988 .

[28]  G. Klir.  Where do we stand on measures of uncertainty, ambiguity, fuzziness, and the like? , 1987 .

[29]  Robert N. Coulson,et al.  The Integrated Southern Pine Beetle Expert System: ISPBEX☆ , 1991 .

[30]  Brigitte Werners,et al.  Aggregation Models in Mathematical Programming , 1988 .

[31]  Martin S. Feather.  Constructing Specifications by Combining Parallel Elaborations , 1989, IEEE Trans. Software Eng..

[32]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[33]  Marc Luria,et al.  Goal Conflict Concerns , 1987, IJCAI.

[34]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[35]  Vincenzo Cutello,et al.  A characterization of rational amalgamation operations , 1993, Int. J. Approx. Reason..

[36]  Robert Balzer,et al.  Informality in Program Specifications , 1899, IEEE Transactions on Software Engineering.

[37]  Didier Dubois,et al.  An introduction to possibilistic and fuzzy logics , 1990 .

[38]  Anthony Finkelstein,et al.  Multi-Party Specification , 1989 .

[39]  Vincenzo Cutello,et al.  The associativity problem for owa operators , 1995 .

[40]  William N. Robinson,et al.  Supporting multi-perspective requirements engineering , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[41]  Katia P. Sycara,et al.  Resolving Goal Conflicts via Negotiation , 1988, AAAI.

[42]  Lotfi A. Zadeh,et al.  Test-score semantics as a basis for a computational approach to the representation of meaning , 1986 .

[43]  Bruce I. Blum.  Representing open requirements with a fragment-based specification , 1993, IEEE Trans. Syst. Man Cybern..

[44]  C. Carlsson,et al.  Interdependence in fuzzy multiple objective programming , 1994 .

[45]  Ali Mili,et al.  Workshop on Models and Languages for Software Specification and Design , 1985, Computer.