Skip to main content
SpringerLink
Log in

Representing and using performance requirements during the development of information systems

  • Conference paper
  • First Online:
Advances in Database Technology — EDBT '94 (EDBT 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 779))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

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–140

    Google 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–280

    Google 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–577

    Google 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–130

    Google Scholar 

  10. P. Chen: The Entity-Relationship Model — Toward a Unified View of Data. ACM TODS 1 (1976) 9–36

    Google 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–487

    Google Scholar 

  12. L. Chung: Representation and Utilization of Non-Functional Requirements for Information System Design. Proc. Third Int. Conf. CAiSE '91 (1991) 5–30

    Google 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–461

    Google 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-1

    Google Scholar 

  15. L. Chung: Dealing With Security Requirements During the Development of Information Systems. Proc. Fifth Int. Conf. CAiSE '93 (1993) 234–251

    Google 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–50

    Google Scholar 

  18. R. Hull, R. King: Semantic Database Modeling: Survey, Applications, and Research Issues. Computing Surveys 19 (1987) 201–260

    Google 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–480

    Google 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–125

    Google 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–497

    Google 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–131

    Google 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–217

    Google 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 Kaufmann

    Google Scholar 

  34. B. A. Nixon: Dealing with Performance Requirements During the Development of Information Systems. Proc. IEEE Int. Symp. on Requirements Eng. (1993) 42–49

    Google 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, 1992

    Google 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–68

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Toronto, M5S 1A4, Toronto, Ontario, Canada

    Brian A. Nixon

Authors
  1. Brian A. Nixon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Matthias Jarke Janis Bubenko Keith Jeffery

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nixon, B.A. (1994). Representing and using performance requirements during the development of information systems. In: Jarke, M., Bubenko, J., Jeffery, K. (eds) Advances in Database Technology — EDBT '94. EDBT 1994. Lecture Notes in Computer Science, vol 779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57818-8_51

Download citation

  • DOI: https://doi.org/10.1007/3-540-57818-8_51

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57818-5

  • Online ISBN: 978-3-540-48342-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation