A Fuzzy Logic-based Methodology for the Acquisition and Analysis of Imprecise Requirements

Abstract

Two major challenges with requirement analysis in concurrent engineering are: (1) requirements from multiple members of a concurrent engineering team are often conflictingwith each other; and (2) requirements are often imprecise in nature. Existing formal methods for requirement engineering are very limited in addressing these issues. More specifically, they have not fully explored the use of artificial intelligence technique for achieving effective trade-offs among conflicting imprecise requirements. This paper presents a comprehensive methodology for specifying imprecise requirements and for characterizing complex relationships among them to facilitate trade-off analysis. Imprecise requirements are represented by the canonical form in test-score semantics in fuzzy logic. A formal approach and a practical method are developed to analyze the complex relationships between requirements. Conflicting requirements can be identified and represented using both qualitative terms and quantitative measures. Multiple requirements with complex relationships among them are fused into an overall system requirement based on fuzzy multi-criteria decision techniques. To obtain a feasible overall system requirement that is satisfactory to customers, the iterative refinement of requirements and the negotiation between the customers and the requirement analysts regarding conflicting requirements are crucial. Our methodology supports the iterative process of refinement and negotiation by facilitating a formal trade-off analysis, by providing intelligent feedbacks generated based on the analysis, and by defining a clear process of compromise. Therefore, this methodology can help to achieve a better system objective that is satisfactory to customers and feasible to developers by fully exploiting the elasticity of imprecise requirements. In addition, the explicit specification of imprecise requirements provides a basis for verification and validation of software systems.

Keywords

requirement engineering artificial intelligence fuzzy logic imprecise requirement conflicting requirements negotiation concurrent engineering trade-off analysis formal method multi-criteria decision making.

Get full access to this article

View all access options for this article.

References

M.S. Feather , "Constructing Specifications by Combining Parallel Elaborations", IEEE Transactions on Software Engineering , Vol. 15, pp. 198-208, 1989.

W.L. Johnson , M.S. Feather , and D.R. Harris , "The KBSA requirements/ Specification Facet: ARIES", Proceedings of the 6th Annual Knowledge-Based Software Engineering Conference, Syracuse, New York, 22-25 September 1991.

J.S. Anderson and S. Fickas et al. , "Viewing Specification Design as a Planning Problem: a Proposed Perspective Shift", Proceedings of the Fifth International Workshop on Software Specification and Design, Pittsburgh, 1989.

D. Hoffman , "An Overview of Concurrent Engineering", Tutorial Notes of 1994 Annual Reliability and Maintainability Symposium, California, January 1994.

G.-C. Roman , "A Taxonomy of Current Issues in Requirements Engineering", IEEE Computer, pp. 14-21, April 1985 .

R. Balzer , N. Goldman , and D. Wile , "Informality in Program Specifications" , IEEE Transaction on Software Engineering, Vol. 4, pp. 94-103, 1978.

D. Dubois and H. Prade , "Criteria Aggregation and Ranking of alternatives in the Framework of Fuzzy Set Theory", Studies in the Management Sciences, Vol. 20, pp. 209-240, 1984.

R.O. Flamm et al. , "The Integrated Southern Pine Beetle Expert System: ISPBEX", Journal of Expert Systems with Applications , Vol. 2, pp. 97-105, 1991.

R. Felix and S. Reddig , "Multiple Attribute Decision Making based on Fuzzy Relationships between Objectives and its Application in Metal Forming", Proceedings of the IEEE International Conference on Fuzzy Systems, pp. 378-383, 1993.

10.

J.R. Hauser and D. Clausing , "The House of Quality", Harvard Business Review, pp. 63-73, May-June 1988.

11.

T. Miyoshi and M. Azuma , "An Empirical Study of Evaluating Software Development Environment Quality", IEEE Transaction on Software Engineering, Vol. 19, No. 5, 1993.

12.

R.S. Pressman , "Software Engineering: a Practitioner's Approach ", McGraw-Hill, New York, 1988.

13.

S. Fickas and P. Nagarajan , "Critiquing Software Specifications ", IEEE Software, pp. 37-47, 1988.

14.

J. Gaschnig et a l., "Evaluation of Expert Systems: Issues and Case Studies", Building Expert Systems , Edited by F. Hayes-Roth et al. Addison-Wesley , 1983.

15.

J.V. Guttag , J.J. Horning , and J.M. Wing , "The Larch Family of Specification Languages ", IEEE Software, Vol. 2, pp. 24-36, 1985.

16.

M. O'Keefe , B. Osman , and P. Smith. "Validating Expert System Performance ", IEEE Expert, pp. 81-89, April, 1987.

17.

O.J. Mengshoel and S. Delab , "Knowledge Validation: Principles and Practice", IEEE Expert, pp. 62-68, 1993.

18.

J. Mylopoulos , L. Chung , and B. Nixon , "Representing and Using Non-Functional Requirements: a Process-oriented Approach", IEEE Transaction on Software Engineering, Vol. 18, No. 6, June 1992.

19.

H.B. Reubenstein and R.C. Waters , "The Requirements Apprentice: Automated Assistance for Requirements Acquisition", IEEE Transaction on Software Engineering, Vol. 17, 1991.

20.

P.S. Rosenbloom , J.E. John , J. McDermott , A. Newell , and E. Orciuch , "R1-soar: An Experiment in Knowledge-intensive Programming in a Problem-solving Architecture ", IEEE Transaction on Pattern Analysis and Machine Intelligence , PAMI-7, pp. 561-569, 1985.

21.

J. McCarthy and P. Hayes , "Some Philosophical Problems from the Standpoint of Artificial Intelligence" Machine Intelligence 4, Edited by B. Meltzer and D. Michie, Edinburgh University Press , pp. 463-502, 1969.

22.

W.N. Robinson , "Negotiation Behavior during Requirement Specification ", Proceedings of the 12th International Conference on Software Engineering, pp. 268-276, 1990.

23.

W.N. Robinson and S. Fickas , "Supporting Multi-perspective Requirements Engineenng" Proceedings of the First International Conference on Requirements Engineenng, pp. 18-22, 1994.

24.

J.M. Spivey , The Z-Notation: a Reference Manual, Prentice-Hall, Englewood Cliffs, New Jersey, 1987.

25.

R. Yager , "Connectives and Quantifiers in Fuzzy Sets ", Fuzzy Sets and Systems, Vol. 40, pp. 39-75, 1991.

26.

J. Yen and J. Lee , "A Task-based Methodology for Specifying Expert Systems", IEEE Expert, Vol. 8, No. 1, pp. 8-15, 1993.

27.

J. Yen and J. Lee , "Fuzzy Logic as a Basis for Specifying Imprecise Requirements", Proceedings of the IEEE International Conference on Fuzzy Systems , pp. 745-749, 1993.

28.

J. Yen , X. Liu , and S.H. Teh , "The Acquisition, Analysis and Evaluation of Imprecise Requirements for Knowledge-based System", Proceedings of the Twelfth National Conference on Artificial Intelligence Conference (AAAI-94), Seattle, Washington, 1994.

29.

V.L. Yu et al. , "Evaluating a Computer-based Consultant ", Computer Programs in Biomedicine, Vol. 9, pp. 95-102, 1979.

30.

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.

31.

H.-J. Zimmermann , Fuzzy Set Theory and its Applications, Kluwer Academic, Massachusetts, 1991.