Capture Software Design Rationale Based on an Integrated Analysis of Both Software Process and Product Quality Requirements from Multiple Perspectives

Abstract

The capture of design rationale in terms of the process and product quality requirements for a software system from different perspec tives in concurrent engineering poses two challenges (1) process and product quality requirements arising from different perspectives usually conflict with each other, and (2) both process and product quality requirements are often vague and imprecise Recent research into methods for handling software quality requirements has taken one of two approaches—quantitative and qualitative Quantitative approaches are based upon software metrics and specify requirements using predicate logic Qualitative approaches represent requirements qualitatively and decom pose the requirements into a hierarchy of subrequirements A unified approach for specifying and analyzing requirements quantitatively and qualitatively is also developed based on fuzzy logic However, none of these methods addresses design rationale capture based on integrated analysis of both product and process quality requirements from multiple perspectives in concurrent software development In this paper a formal framework is developed for an integrated analysis of software process and product quality requirements to support design rationale capture from multiple perspectives in concurrent software development It provides a top-down approach for decomposing vague, complex quality require ments based upon an ontological model of a perspective, and a bottom-up approach for analyzing inter-requirement relationships from multiple perspectives A feature-based approach for assessing the impact of design alternatives on both process and product quality requirements from multiple perspectives is developed by explicitly documenting the effects of design options on design features and the effects of design features on quality requirements The techniques described by the framework are illustrated using a distributed order processing system

Keywords

quality requirements requirements specification and analysis multiple perspectives viewpoints design rationale capturing feature- based tradeoff analysis

Get full access to this article

View all access options for this article.

References

Pressman, R. 1992. Software Engineering: A Practitioner's. New York: McGraw-Hill .

Liu, X.F. and J. Yen. 1996. "An Analytic Framework for Specifying and Analyzing Imprecise Requirements," accepted for publication in the 18th International Conference on Software Engineering (ICSE-1996, Berlin, Germany, March.

Robinson, W.N. and S. Fickas. 1994. "Supporting Multi-Perspective Requirements Engineering," in Proceedings of the First International Conference on Requirements Engineering , pp. 206-215, April.

Boehm, B. , P. Bose , E. Horowitz and M. Lee. 1994. "Software Requirements As Negotiated Win Conditions," Proceedings of the First International Conference on Requirements Engineering, pp. 74-83, April.

Boehm, B. , P. Bose , E. Horowitz and M. Lee. 1995. "Software Requirements Negotiation and Renegotiation Aids: A Theory W Sprial Approach," Proceedings of the 17th International Conference on Software Engineering, pp. 243-253.

Boehm, B. and P. Bose. 1994. "A Collaborative Spiral Software Process Model Based on Theory W," Proceedings of the Third International Conference on Software Process, pp. 59-68.

Bose, P. 1995. "A Model for Decision Maintenance in the Win Win Collaboration Framework," Proceedings of the 10th KBSE Conference .

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

Finkelstein, A.C.W. , D. Gabbay , A. Hunter , J. Kramer and B. Nuseibeh. 1994. "Inconsistency Handling in Multiperspective Specifications," IEEE Transactions on Software Engineering, 20(8):569-578, August.

10.

Easterbrook, S. 1993. "Domain Modeling With Hierarchies of Alternative Viewpoints," Proceedings of the IEEE International Symposium on Requirements Engineering, pp. 65-72.

11.

Easterbrook, S. 1991. "Handling Conflict Between Domain Descriptions With Computer Supported Negotiation," Knowledge Acquisition: An International Journal, 3:255-289.

12.

Easterbrook, S. , A. Finkelstein , J. Kramer and B. Nusheibeh. 1994. "Co-ordinating Distributed ViewPoints: The Anatomy of a Consistency Check," Journal of Concurrent Engineering: Research and Applications , 2(3):1994.

13.

Keller, S.E. , L.G. Kahn and R.B. Panara. 1990. "Specifying Software Quality Requirements with Metrics," in R. H. Thayer and M. Dorfman (eds.), Tutorial: System and Software Requirements Engineering, IEEE Computer Society Press, Washington, DC.

14.

Balzer, R. , N. Goldman and D. Wile. 1978. "Informality in Program Specifications ," IEEE Transactions on Software Engineering, 4(2):94-103.

15.

Johnson, W.L. , M.S. Feather and D.R. Harris. 1991. "The KBSA Requirements/Specification Facet: ARIES," in Proceedings of the 6th Annual Knowledge-Based Software Engineering Conference, Syracuse, NY, pp. 156-162.

16.

Spivey, J.M. 1987. The Z-notation: A Reference Manual, Prentice-Hall, Englewood Cliffs, NJ.

17.

Mylopoulos, J. , L. Chung and B. Nixon. 1992. " Represent and Using Nonfunctional Requirements; A Process-Oriented Approach ," IEEE Transactions on Software Engineering, 18(6):483-497.

18.

Chung, L. , B. Nixon and E. Yu. 1995. "Using Non-Functional Requirements to Systematically Support Change," Proceedings of the Second IEEE International Symposium on Requirements Engineering, pp. 132-139.

19.

Chung, L. and B. Nixon. 1995. "Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach," 17th International Conference on Software Engineering, pp. 25-37.

20.

Yen, J. and X.F. Liu. 1995. "Approximate Reasoning about Priorities of Imprecise Conflicting Requirements," International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 3(2):53-73.

21.

Yen, J. , X.F. Liu , and S.H. Teh. 1994. "A Fuzzy Logic-Based Metholodolgy for the Acquisition and Analysis of Imprecise Requirements," Concurrent Engineering: Research and Applications, 2:265-277.

22.

Liu, X.F. 1995. "A Formal Methodolgy for the Specification and Analysis of Imprecise Requirements," Ph.D. Dissertation, Texas A&M University, Department of Computer Science, August.