Representing and using performance requirements during the development of information systems
Abstract
We are concerned with dealing with performance requirements, such as “achieve good time performance for retrieving tax appeals,” during the development of information systems. We adapt a framework for non-functional requirements (global quality requirements) by treating (potentially conflicting or synergistic) performance requirements as goals. Our Performance Framework helps a developer to refine goals, select among competing implementation alternatives, justify implementation decisions, and evaluate the degree to which requirements are met. For manageability of development, we represent and organise knowledge about information systems and their design, implementation and performance. This paper further organises methods for dealing with performance goals, with some focus on implementation of long-term processes and integrity constraints. We illustrate the framework using some actual workload descriptions of a taxation appeals system, and describe a prototype development tool, currently under development.
Keywords
Performance Goal Integrity Constraint Performance Framework Good Time Performance Link TypePreview
Unable to display preview. Download preview PDF.
References
- 1.BIM Prolog 2.4 Manual. BIM sa/nv, Belgium (1989)Google Scholar
- 2.R. Balzer: A 15 Year Perspective on Automatic Programming. TSE 11 (1985)Google Scholar
- 3.V. Benzaken: An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. Proc. 3rd Int. Conf. Database Theory (1990) 126–140Google Scholar
- 4.A. Borgida, J. Mylopoulos, J. W. Schmidt, I. Wetzel: Support for Data-Intensive Applications: Conceptual Design and Software Development. Proc. Second Int. Workshop on Database Programming Languages (1989) 258–280Google Scholar
- 5.A. Borgida, J. Mylopoulos, J. W. Schmidt: The TaxisDL Software Description Language. In M. Jarke (Ed.): Database Application Engineering with DAIDA. Berlin: Springer-Verlag (1993)Google Scholar
- 6.G. Brataas, A. L. Opdahl, V. Vetland, A. Sølvberg: Information Systems: Final Evaluation of the IMSE. Report, SINTEF, Univ. of Trondheim (1992)Google Scholar
- 7.J. Bubenko jr: Towards a Corporate Knowledge Repository. SYSLAB Report 91-023-DSV, Stockholm University (1991)Google Scholar
- 8.S. Ceri, J. Widom: Deriving Production Rules for Constraint Management. Proc. 16th Int. Conf. Very Large Data Bases (1990) 566–577Google Scholar
- 9.A. Chan et al.: Storage and Access Structures to Support a Semantic Data Model. Proc. Eighth Int. Conf. Very Large Data Bases (1982) 122–130Google Scholar
- 10.P. Chen: The Entity-Relationship Model — Toward a Unified View of Data. ACM TODS 1 (1976) 9–36Google Scholar
- 11.K. L. Chung, D. Rios-Zertuche, B. A. Nixon, J. Mylopoulos: Process Management and Assertion Enforcement for a Semantic Data Model. Proc., Int. Conf. Extending Database Technology (1988) 469–487Google Scholar
- 12.L. Chung: Representation and Utilization of Non-Functional Requirements for Information System Design. Proc. Third Int. Conf. CAiSE '91 (1991) 5–30Google Scholar
- 13.K. L. Chung, P. Katalagarianos, M. Marakakis, M. Mertikas, J. Mylopoulos, Y. Vassiliou: From Information System Requirements to Designs: A Mapping Framework. Information Systems 16 (1991) 429–461Google Scholar
- 14.K. L. Chung: Representing and Using Non-Functional Requirements: A Process-Oriented Approach. Ph.D. Thesis, Dept. Comp. Sci., Univ. Toronto (1993). Also Report DKBS-TR-93-1Google Scholar
- 15.L. Chung: Dealing With Security Requirements During the Development of Information Systems. Proc. Fifth Int. Conf. CAiSE '93 (1993) 234–251Google Scholar
- 16.L. Chung, B. Nixon: Dealing with Non-Functional Requirements: Three Case Studies. Manuscript, Dept. Comp. Sci., Univ. Toronto (1993)Google Scholar
- 17.A. Dardenne, A. van Lamsweerde, S. Fickas: Goal-directed Requirements Acquisition. Science of Computer Programming 20 (1993) 3–50Google Scholar
- 18.R. Hull, R. King: Semantic Database Modeling: Survey, Applications, and Research Issues. Computing Surveys 19 (1987) 201–260Google Scholar
- 19.W. F. Hyslop: Performance Prediction of Relational Database Management Systems. Ph.D. Thesis, Dept. of Computer Science, Univ. of Toronto (1991)Google Scholar
- 20.H. V. Jagadish, X. Qian: Integrity Maintenance in an Object-Oriented Database. Proc. 18th Conf. Very Large Data Bases (1992) 469–480Google Scholar
- 21.M. Jarke, J. Mylopoulos, J. W. Schmidt, Y. Vassiliou: DAIDA: An Environment for Evolving Information Systems. ACM Trans. Information Systems 10 (1992)Google Scholar
- 22.Matthias Jarke (Ed.): ConceptBase V3.1 User Manual. Univ. of Passau (1992)Google Scholar
- 23.E. Kant: On the Efficient Synthesis of Efficient Programs. Artif. Intell. 20 (1983)Google Scholar
- 24.E. D. Lazowska, J. Zahorjan, G. S. Graham, K. C. Sevcik: Quantitative System Performance. Englewood Cliffs, NJ: Prentice-Hall (1984)Google Scholar
- 25.J. Lee: Extending the Potts and Bruns Model for Recording Design Rationale. Proc. 13th Int. Conf. Softw. Eng. (1991) 114–125Google Scholar
- 26.J. Mylopoulos, A. Borgida, M. Jarke, M. Koubarakis: Telos: Representing Knowledge about Information Systems. ACM Trans. Information Systems 8 (1990)Google Scholar
- 27.J. Mylopoulos, L. Chung, B. Nixon: Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE TSE 18 (1992) 483–497Google Scholar
- 28.J. Mylopoulos, L. Chung, E. Yu, B. Nixon: Requirements Engineering 1993: Selected Papers. Report DKBS-TR-93-2, Dept. Comp. Sci. Univ. Toronto (1993)Google Scholar
- 29.N. Nilsson: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill (1971)Google Scholar
- 30.B. Nixon, L. Chung, D. Lauzon, A. Borgida, J. Mylopoulos, M. Stanley: Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. Proc. ACM SIGMOD (1987) 118–131Google Scholar
- 31.B. A. Nixon, K. L. Chung, D. Lauzon, A. Borgida, J. Mylopoulos, M. Stanley: Design of a Compiler for a Semantic Data Model. In J. W. Schmidt, C. Thanos (Eds.): Foundations of Knowledge Base Management. Springer-Verlag (1989)Google Scholar
- 32.B. Nixon, J. Mylopoulos: Integration Issues in Implementing Semantic Data Models. In F. Bancilhon, P. Buneman (Eds.): Advances in Database Programming Languages. New York: ACM Press (1990) 187–217Google Scholar
- 33.B. Nixon: Implementation of Information System Design Specifications: A Performance Perspective. In P. Kanellakis, J. W. Schmidt (Eds.): Database Programming Languages: Bulk Types & Persistent Data — The Third International Workshop (1991) 149–168. San Mateo, CA: Morgan KaufmannGoogle Scholar
- 34.B. A. Nixon: Dealing with Performance Requirements During the Development of Information Systems. Proc. IEEE Int. Symp. on Requirements Eng. (1993) 42–49Google Scholar
- 35.A. L. Opdahl: Performance Engineering During Information System Development. Dr.ing. thesis, Fac. Comp. Sci. & Elec. Eng., Norwegian Inst. Technology (1992)Google Scholar
- 36.J. Peckham, F. Maryanski: Semantic Data Models. Comp. Surveys 20 (1988)Google Scholar
- 37.Revenue Canada, Taxation: Objections and Appeals. Ottawa (1980)Google Scholar
- 38.Revenue Canada, Taxation: 1991 Taxation Statistics, Ottawa (1991)Google Scholar
- 39.Revenue Canada, Taxation: Taxation Operations Manual 70 (1992)Google Scholar
- 40.Dept. of National Revenue, Taxation, Appeals Branch: Quarterly Statistical Reports for the Periods Ended June 2 & Sept. 27, 1991; Jan. 3 & Mar. 31, 1992. Number of days to reassesss Notices of Objection for reassessments between Jan. 1 & Mar. 31, 1992. Also for periods ending: Dec. 31, 1991; June 26 & Sept. 25, 1992Google Scholar
- 41.S. Rozen: Automating Physical Database Design: An Extensible Approach. Ph.D. Dissertation, Dept. Comp. Sci., New York Univ. (1993)Google Scholar
- 42.H. A. Simon: The Sciences of the Artificial, 2nd Ed. MIT Press (1981)Google Scholar
- 43.C. Smith: Performance Engineering of Software Systems. Addison-Wesley (1990)Google Scholar
- 44.E. Yu: An Organization Modelling Framework for Information Systems Requirements Engineering. Ph.D. Thesis, Dept. Comp. Sci., Univ. Toronto (forthcoming)Google Scholar
- 45.M. D. Zisman: Use of Production Systems for Modeling Concurrent Processes. In D. A. Waterman, F. Hayes-Roth (Eds.): Pattern-Directed Inference Systems. New York: Academic Press (1978) 53–68Google Scholar