Representing and using performance requirements during the development of information systems

  • Brian A. Nixon
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 779)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    BIM Prolog 2.4 Manual. BIM sa/nv, Belgium (1989)Google Scholar
  2. 2.
    R. Balzer: A 15 Year Perspective on Automatic Programming. TSE 11 (1985)Google Scholar
  3. 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. 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. 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. 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. 7.
    J. Bubenko jr: Towards a Corporate Knowledge Repository. SYSLAB Report 91-023-DSV, Stockholm University (1991)Google Scholar
  8. 8.
    S. Ceri, J. Widom: Deriving Production Rules for Constraint Management. Proc. 16th Int. Conf. Very Large Data Bases (1990) 566–577Google Scholar
  9. 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. 10.
    P. Chen: The Entity-Relationship Model — Toward a Unified View of Data. ACM TODS 1 (1976) 9–36Google Scholar
  11. 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. 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. 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. 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. 15.
    L. Chung: Dealing With Security Requirements During the Development of Information Systems. Proc. Fifth Int. Conf. CAiSE '93 (1993) 234–251Google Scholar
  16. 16.
    L. Chung, B. Nixon: Dealing with Non-Functional Requirements: Three Case Studies. Manuscript, Dept. Comp. Sci., Univ. Toronto (1993)Google Scholar
  17. 17.
    A. Dardenne, A. van Lamsweerde, S. Fickas: Goal-directed Requirements Acquisition. Science of Computer Programming 20 (1993) 3–50Google Scholar
  18. 18.
    R. Hull, R. King: Semantic Database Modeling: Survey, Applications, and Research Issues. Computing Surveys 19 (1987) 201–260Google Scholar
  19. 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. 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. 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. 22.
    Matthias Jarke (Ed.): ConceptBase V3.1 User Manual. Univ. of Passau (1992)Google Scholar
  23. 23.
    E. Kant: On the Efficient Synthesis of Efficient Programs. Artif. Intell. 20 (1983)Google Scholar
  24. 24.
    E. D. Lazowska, J. Zahorjan, G. S. Graham, K. C. Sevcik: Quantitative System Performance. Englewood Cliffs, NJ: Prentice-Hall (1984)Google Scholar
  25. 25.
    J. Lee: Extending the Potts and Bruns Model for Recording Design Rationale. Proc. 13th Int. Conf. Softw. Eng. (1991) 114–125Google Scholar
  26. 26.
    J. Mylopoulos, A. Borgida, M. Jarke, M. Koubarakis: Telos: Representing Knowledge about Information Systems. ACM Trans. Information Systems 8 (1990)Google Scholar
  27. 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. 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. 29.
    N. Nilsson: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill (1971)Google Scholar
  30. 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. 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. 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. 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. 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. 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. 36.
    J. Peckham, F. Maryanski: Semantic Data Models. Comp. Surveys 20 (1988)Google Scholar
  37. 37.
    Revenue Canada, Taxation: Objections and Appeals. Ottawa (1980)Google Scholar
  38. 38.
    Revenue Canada, Taxation: 1991 Taxation Statistics, Ottawa (1991)Google Scholar
  39. 39.
    Revenue Canada, Taxation: Taxation Operations Manual 70 (1992)Google Scholar
  40. 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. 41.
    S. Rozen: Automating Physical Database Design: An Extensible Approach. Ph.D. Dissertation, Dept. Comp. Sci., New York Univ. (1993)Google Scholar
  42. 42.
    H. A. Simon: The Sciences of the Artificial, 2nd Ed. MIT Press (1981)Google Scholar
  43. 43.
    C. Smith: Performance Engineering of Software Systems. Addison-Wesley (1990)Google Scholar
  44. 44.
    E. Yu: An Organization Modelling Framework for Information Systems Requirements Engineering. Ph.D. Thesis, Dept. Comp. Sci., Univ. Toronto (forthcoming)Google Scholar
  45. 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

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • Brian A. Nixon
    • 1
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations