This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
New Approach to Requirements Trade-Off Analysis for Complex Systems
July/August 1998 (vol. 10 no. 4)
pp. 551-562

Abstract—In this paper, we propose a faceted requirement classification scheme for analyzing heterogeneous requirements. The representation of vague requirements is based on Zadeh's 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] R. Balzer, N. Goldman, and D. Wile, "Informality in Program Specifications," IEEE Trans. Software Eng., vol. 4, no. 2, pp. 94-103, 1978.
[2] B.I. Blum, "Representing Open Requirements with a Fragment-Based Specification," IEEE Trans. Software Eng., vol. 23, no. 3, pp. 724-736, 1993.
[3] A. Borgida, S. Greenspan, and J. Mylopoulos, "Knowledge Representation as the Basis for Requirements Specification," Computer, pp. 82-91, Apr. 1985.
[4] C. Carlsson, "On Optimization with Interdependent Multiple Criteria," R. Lowen and M. Roubens, eds., Fuzzy Logic: State of the Art, pp. 287-300, Kluwer, the Netherlands, 1993.
[5] C. Carlsson and R. Fuller, "Interdependence in Fuzzy Multiple Objective Programming," Fuzzy Sets and Systems, vol. 65, pp. 19-29, 1994.
[6] V. Cutello and J. Montero, "A Characterization of Rational Amalgamation Operations," Int'l J. Approximate Reasoning, vol. 8, pp. 325-344, 1993.
[7] V. Cutello and J. Montero, "The Associativity Problem for Owa Operators," Proc. Sixth Int'l Fuzzy Systems Assn. World Congress, vol. I, pp. 149-152, 1995.
[8] A. Dardenne, A. van Lamsweerde, and S. Fickas, "Goal-Directed Requirements Acquisition," Science of Computer Programming, pp. 3-50, vol. 20, Apr. 1993.
[9] Software Requirements: Analysis and Design, A.M. Davis, ed., Englewood Cliffs, N.J.: Prentice Hall, 1990.
[10] D. Dubois and H. Prade, Possibility Theory: An Approach to Computerized Processing of Uncertainty, Plenum, New York, 1988.
[11] D. Dubois and H. Prade, "An Introduction to Possibilistic and Fuzzy Logics," G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning, pp. 742-761, Morgan Kaufmann, San Mateo, Calif., 1990.
[12] S. Easterbrook, "Domain Modelling with Hierarchies of Alternative Viewpoints," Proc. IEEE Int'l Symp. Requirements Eng., pp. 65-72, 1993.
[13] R.O. Flamm et al., "The Integrated Southern Pine Beetle Expert Systems," Expert Systems With Applications, vol. 2, pp. 97-105, 1991.
[14] M.S. Feather, "Constructing Specifications by Combining Parallel Elaboration," IEEE Trans. Software Eng., vol. 15, no. 2, pp. 198-208, 1989.
[15] R. Felix, "Relationships Between Goals in Multiple Attribute Decision Making," Fuzzy Sets and Systems, vol. 67, pp. 47-52, 1994.
[16] R. Felix, "Fuzzy Decision Making Based on Relationships Between Goals Compared with the Analytic Hierarchy Process," Proc. Sixth Int'l Fuzzy Systems Assn. World Congress, pp. 253-256, 1995.
[17] R. Felix, S. Reddig, and A. Adelhof, "Multiple Attribute Decision Making Based on Fuzzy Relationships Between Objectives and Its Application in Metal Forming," Proc. Second IEEE Int'l Conf. Fuzzy Systems, pp. 378-383, 1993.
[18] A. Finkelstein and H. Fuks, "Multi-Party Specification," Proc. Int'l Workshop Software Specifications and Design, pp. 185-195, 1989.
[19] B.N. Freeman-Benson, J. Maloney, and A. Borning, “An Incremental Constraint Solver,” Comm. ACM, vol. 33, no. 1, pp. 54–63, Jan. 1990.
[20] R.G. Babb III, R. Kieburtz, K. Orr, A. Mili, S. Gearhart, and N. Martin, "Workshop on Models and Languages for Software Specification and Design," Computer, pp. 103-108, Mar. 1985.
[21] W.L. Johnson, "Knowledge-Based Software Engineering," A. Kent and J.G. Williams, eds., Encyclopedia of Computer Science and Technology, vol. 31, pp. 173-225, Marcel Dekker, New York, 1994.
[22] U. Kaymak and H.R. van Nauta Lemke, "Selecting an Aggregation Operator for Fuzzy Decision Making," Proc. Third IEEE Int'l Conf. Fuzzy Systems, pp. 1,418-1,422, IEEE CS Press, 1994.
[23] G.J. Klir, "Where Do We Stand on Measures of Uncertainty, Ambiguity, Fuzziness, and the Like?" Fuzzy Sets and Systems, vol. 24, pp. 141-160, 1987.
[24] J. Lee, J.Y. Kuo, and W.T. Huang, "Classifying, Analyzing, and Representing Informal Requirements," Proc. Sixth Int'l Fuzzy Systems Assn. World Congress, vol. I, pp. 645-648, July 1995.
[25] J. Lee, L.F. Lai, and W.T. Huang, “Task-Based Specifications Through Conceptual Graphs,” IEEE Expert, vol. 11, no. 4, pp. 60–70, Aug. 1996.
[26] Automating Software Design, M.R. Lowry and R.D. McCartney, eds., AAAI Press, Menlo Park, Calif., 1991.
[27] M. Luria, "Goal Conflict Concerns," Proc. 12th Int'l Joint Conf. Artificial Intelligence, pp. 1,025-1,031, 1987.
[28] J. McCarthy and P. Hayes, "Some Philosophical Problems from the Standpoint of Artificial Intelligence," Machine Intelligence 4, pp. 463-502, Edinburgh Univ. Press, Scotland, 1969.
[29] C. Niskier, T. Maibaum, and D. Schwabe, "A Look Through Prisma: Towards Pluralistic Knowledge-Based Environments for Software Specification Acquisition," Proc. Fifth Int'l Workshop Software Specification and Design, pp. 128-136, IEEE CS Press, 1989.
[30] B. Nuseibeh, J. Kramer, and A. Finkelstein, "A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification," IEEE Trans. Software Eng., vol. 20, no. 10, pp. 760-773, Oct. 1994.
[31] R. Prieto-Diaz and P. Freeman, "Classifying Software for Reusability," IEEE Software, vol. 4, pp. 6-16, Jan. 1987.
[32] H.B. Reubenstein and R.C. Waters, "The Requirements Apprentice: Automated Assistance for Requirements Acquisition," IEEE Trans. Software Eng., vol. 17, no. 3, pp. 226-240, 1991.
[33] W.N. Robinson, "Negotiation Behavior During Requirement Specification," Proc. Int'l Conf. Software Eng., pp. 268-276, 1990.
[34] W.N. Robinson and S. Fickas, "Supporting Multi-Perspective Requirements Engineering," Proc. First Int'l Conf. Requirement Eng., pp. 206-215, IEEE CS Press, 1994.
[35] G.C. Roman, "A Taxonomy of Current Issues in Requirements Engineering," Computer, vol. 18, no. 4, pp. 14-21, Apr. 1985.
[36] J. Rushby, "Quality Measures and Assurance for AI Software," Technical Report NASA CR-4187, NASA Langley Research Center, 1989.
[37] T.L. Saaty, Decision Making for Leaders: The Analytic Hierarchy Process for Decisions in a Complex World, Lifetime Learning, Atlanta, 1982.
[38] K. Sycara, "Resolving Goal Conflicts Via Negotiation," Proc. Sixth Nat'l Conf. Artificial Intelligence, pp. 245-250,Cambridge, Mass., MIT Press, 1988.
[39] B.M. Werner, "Aggregation Models in Mathematical Programming," G. Mitra, ed., Math. Models for Decision Support, pp. 295-305, Springer-Verlag, Berlin, 1988.
[40] R.R. Yager and D.P. Filev, "On the Extension of Owa Operators," Proc. Sixth Int'l Fuzzy Systems Assn. World Congress, vol. II, pp. 161-163, 1995.
[41] J. Yen and J. Lee, "Fuzzy Logic as a Basis for Specifying Imprecise Requirements," Proc. Second Int'l Conf. Fuzzy Systems, pp. 745-749, 1993.
[42] J. Yen and J. Lee, "A Task-Based Methodology for Specifying Expert Systems," IEEE Expert, vol. 8, no. 1, pp. 8-15, Feb. 1993.
[43] J. Yen, X. Liu, and S.H. Teh, "A Fuzzy Logic-Based Methodology for the Acquisition and Analysis of Imprecise Requirements," Concurrent Eng.: Research and Applications, pp. 265-277, 1994.
[44] L.A. Zadeh, "Fuzzy Set as a Basis for a Theory of Possibility," Fuzzy Sets and Systems, vol. 1, pp. 3-28, 1978.
[45] L.A. Zadeh, "Test-Score Semantics as a Basis for a Computational Approach to the Representation of Meaning," Literacy Linguistic Computing, vol. 1, pp. 24-35, 1986.
[46] H.-J. Zimmermann, Fuzzy Set Theory and Its Applications, Kluwer, Boston, 1991.
[47] H.-J. Zimmermann and P. Zysno, "Decisions and Evaluations by Hierarchical Aggregation of Information," Fuzzy Sets and Systems, vol. 10, pp. 243-260, 1983.

Index Terms:
Vague requirements, requirements specifications, requirements trade-off analysis, requirements classification, fuzzy logic.
Citation:
Jonathan Lee, Jong-Yih Kuo, "New Approach to Requirements Trade-Off Analysis for Complex Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 10, no. 4, pp. 551-562, July-Aug. 1998, doi:10.1109/69.706056
Usage of this product signifies your acceptance of the Terms of Use.