This Article 
 Bibliographic References 
 Add to: 
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
June 1992 (vol. 18 no. 6)
pp. 483-497

A comprehensive framework for representing and using nonfunctional requirements during the development process is proposed. The framework consists of five basic components which provide the representation of nonfunctional requirements in terms of interrelated goals. Such goals can be refined through refinement methods and can be evaluated in order to determine the degree to which a set of nonfunctional requirements is supported by a particular design. Evidence for the power of the framework is provided through the study of accuracy and performance requirements for information systems.

[1] Artif. Intell. J., vol. 24, Dec. 1984.
[2] R. Balzer, "A 15 year perspective on automatic programming,"IEEE Trans. Software Eng., vol. SE-11, no. 11, pp. 1257-1268, Nov. 1985.
[3] V. R. Basili and J. D. Musa, "The future engineering of software: A management perspective,"IEEE Computer, vol. 24, pp. 90-96, Sept. 1991.
[4] V. Benzaken, "An evaluation model for clustering strategies in theO2object-oriented database system," inProc. 3rd Int. Conf. Database Theory, pp. 126-140, 1990.
[5] B. W. Boehmet al., Characteristics of Software Quality. Amsterdam: North-Holland, 1978.
[6] A. Borgida, J. Mylopoulos, J. Schmidt, and I. Wetzel, "Support for data-intensive applications: Conceptual design and software development," inProc. 2nd Workshop Database Programming Languages, Gleneden Beach, OR, 1989, pp. 258-280.
[7] T. P. Bowenet al., "Specification of software quality attributes,"Rep. RADC-TR-85-37, Rome Air Development Center, Griffiss Air Force Base, NY, Feb. 1985.
[8] S. Ceri and J. Widom, "Deriving production rules for constraint management," inProc. 16th Int. Conf. Very Large Data Bases, pp. 566-577, Aug. 1990.
[9] A. Chanet al., "Storage and access structures to support a semantic data model," inProc. 8th Int. Conf. Very Large Data Bases, pp. 122-130, Sept. 1982.
[10] P. P. Chen, "The Entity-Relationship Model -- Towards a Unified View of Data,"ACM Trans. Database Syst., Vol. 1, No. 1, Mar. 1976, pp. 9-36.
[11] K. L. Chunget al., "Process management and assertion enforcement for a semantic data model," inProc. EDBT '88, Int. Conf. Extending Database Technology, pp. 469-487, Mar. 1988.
[12] L. Chung, "Representation and utilization of nonfunctional requirements for information system design," inProc. CAiSE '91pp. 5-30, 1991.
[13] L. Chung, P. Katalagarianos, M. Marakakis, M. Mertikas, J. Mylopoulos, and Y. Vassiliou, "From information systems requirements to designs: A mapping framework,"Inform. Syst., to be published.
[14] J. Conklin and M.L. Begeman, "A hypertext tool for exploratory policy discussion,"ACM Trans. Office Inform. Syst., vol. 6, no. 4, pp. 303-331, 1988.
[15] J. de Kleer, "Problem solving with the ATMS,"Artif. Intell. J., vol. 28, pp. 127-162, 1986.
[16] C. DiMarco, "Computational stylistics for natural language translation," Ph.D. dissertation, Dept. Computer Science, Univ. Toronto, 1990.
[17] J. Doyle, "A truth maintenance system,"Artif. Intell. J., vol. 12, pp. 231-272, 1979.
[18] S. F. Fickas, "Automating the transformational development of software,"IEEE Trans. Software Eng., vol. SE-11, no. 11, pp. 1268- 1278, Nov. 1985.
[19] U. Hahnet al., "Teamwork support in a knowledge-based information systems environment,"IEEE Trans. Software Eng., vol. 17, pp. 467-482, May 1991.
[20] H. R. Hartson and D. K. Hsiao, "Full protection specifications in the semantic model for database protection languages," inProc. ACM Annual Conf., pp. 90-95, Oct. 1976.
[21] J. R. Hauser and D. Clausing, "The house of quality,"Harvard Business Review, pp. 63-73, May-June 1988.
[22] W. F. Hyslop, "Performance prediction of relational database management systems," Ph.D. dissertation, Dept. Computer Science, Univ. Toronto, 1991.
[23] M. Jarkeet al., "DAIDA: An environment for evolving information systems,"ACM Trans. Information Systems, vol. 10, Jan. 1992.
[24] W. L. Johnsonet al., "Representation and presentation of requirements knowledge," USC/Information Sciences Institute, Oct. 1991.
[25] E. Kant, "On the efficient synthesis of efficient programs,"Artif. Intell. J., vol. 20, pp. 253-305, May 1983.
[26] S. E. Kelleret al., "Specifying software quality requirements with metrics," inTutorial: System and Software Requirements Engineering, R. H. Thayer and M. Dorfman, Eds. IEEE Computer Society Press, 1990, pp. 145-163.
[27] E. D. Lazawskaet al., Quantitative System Performance--Computer System Analysis Using Queueing Network Models. Englewood Cliffs, NJ: Prentice-Hall, 1984.
[28] J. Lee, "SIBYL: A qualitative decision management system," inArtificial Intelligence at MIT: Expanding Frontiers, vol. 1, P. H. Winston and S. A. Shellard, Eds. Cambridge, MA: The MIT Press, 1990, pp. 105-133.
[29] J. Lee, "Extending the Potts and Bruns model for recording design rationale," inProc. 13th Int. Conf. Software Eng., pp. 114-125, May 1991.
[30] J. Martin,Security, Accuracy, and Privacy in Computer Systems. Englewood Cliffs, NJ: Prentice-Hall, 1973.
[31] J. Mostow, "Towards better models of the design process,"AI Magazine, vol. 6, pp. 44-57, 1985.
[32] J. Mylopoulos,et al., "A language facility for designing database intensive applications,"ACM Trans. Database Syst., vol. 5, no. 2, June 1980.
[33] J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis, "Telos: Representing knowledge about information systems,"ACM Trans. Inform. Syst., vol. 8, no. 4, 1990.
[34] N. Nilsson,Problem-Solving Methods in Artificial Intelligence. New York, McGraw-Hill, 1971.
[35] B. Nixonet al., "Implementation of a compiler for a semantic data model: Experiences with taxis," inProc. ACM SIGMOD 1987 Annual Conf., pp. 188-131, Dec. 1987.
[36] B. Nixon, "Implementation of information system design Specifications: A performance perspective," inDatabase Programming Languages: Bulk Types&Persistent Data. San Mateo, CA: Morgan Kaufmann, 1992, pp. 149-168.
[37] C. P. Pfleeger,Security in Computing. Englewood Cliffs, NJ: Prentice-Hall, 1989.
[38] C. Potts and G. Bruns, "Recording the reasons for design decisions," inProc. 10th Int. Conf. Software Engineering, Singapore, 1988, pp. 418-427.
[39] H. B. Reubenstein, "Automated acquisition of evolving informal descriptions," Ph.D. dissertation, MIT Artificial Intelligence Lab., Rep. MIT/AI/TR-1205, June 1990.
[40] W. N. Robinson, "Negotiation behavior during requirements specification," inProc. 12th Int. Conf. Software Engineering, Nice, France, 1990, pp. 268-276.
[41] G.-C. Roman, "A taxonomy of current issues in requirements engineering,"IEEE Computer, vol. 18, pp. 14-23, Apr. 1985.
[42] H. A. Simon,The Sciences of the Artificial, 2nd ed. Cambridge, MA: MIT Press, 1981.
[43] C. U. Smith,Performance Engineering of Software Systems. Reading, MA: Addison-Wesley, 1990.
[44] M. Stonebraker, "Triggers and inference in database systems," inOn Knowledge Base Management Systems, M. L. Brodie and J. Mylopoulos, Eds. New York: Springer-Verlag, 1986, pp. 297-314.
[45] R. H. Thayer and M. C. Thayer, "Glossary," inTutorial: System and Software Requirements Engineering, Richard H. Thayer and Merlin Dorfman, Eds. IEEE Computer Society Press, 1990, pp. 605-676.
[46] G. E. Weddell, "Selection of indexes to memory-resident entities for semantic data models,"IEEE Trans. Knowledge and Data Eng., vol. 1, pp. 274-284, June 1989.

Index Terms:
nonfunctional requirements; process-oriented approach; development process; refinement methods; performance requirements; information systems; formal specification; management information systems
J. Mylopoulos, L. Chung, B. Nixon, "Representing and Using Nonfunctional Requirements: A Process-Oriented Approach," IEEE Transactions on Software Engineering, vol. 18, no. 6, pp. 483-497, June 1992, doi:10.1109/32.142871
Usage of this product signifies your acceptance of the Terms of Use.