Skip to main content
SpringerLink
Log in

Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods

  • Conference paper
Book cover Requirements Targeting Software and Systems Engineering (RTSE 1997)

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

Abstract

Relationships among different modeling perspectives have been systematically investigated focusing either on given notations (e.g. OMT) or on domain reference models (e.g. SAP). In contrast, many successful informal methods for business analysis and requirements engineering (e.g. JAD) emphasize team negotiation, goal orientation and flexibility of modeling notations. This paper addresses the question how much formal and computerized support can be provided in such settings without destroying their creative tenor. Our solution comprises four components:

(1) A modular conceptual modeling formalism organizes individual perspectives and their interrelationships. (2) Perspective schemata are linked to a conceptual meta meta model of shared domain terms, thus giving the architecture a semantic meaning and enabling adaptability and extensibility of the network of perspectives. (3) Inconsistency management across perspectives is handled in a goal-oriented manner, by defining the analysis goals as meta rules which are automatically adapted to perspective schemata. (4) Continuous incremental maintenance of inconsistency information is provided by exploiting recent view maintenance techniques from deductive databases.

The approach has been fully implemented as an extension to the ConceptBase meta database management system and has been experimentally applied in the context of business analysis and data warehouse design.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abel, P.: Description of the USU-PFR analysis method. Technical report, USU GmbH, Möglingen (1995)

    Google Scholar 

  2. Abitebuol, S., Cluet, S., Milo, T.: A database interface for file updates. In: Carey, M.J., Schneider, D.A. (eds.) Proc. of the 1995 ACM SIGMOD Intl. Conf. on Management of Data, May 1995, pp. 386–397 (1995)

    Google Scholar 

  3. August, J.H.: Joint Application Design: The Group Session Approach to System Design. Yourdon Press, Englewood Cliffs (1991)

    Google Scholar 

  4. Balzer, R.: Tolerating inconsistency. In: Proc. of the 13th Intl. Conf. on Software Engineering (ICSE-13), Austin, Texas, pp. 158–165 (1991)

    Google Scholar 

  5. Bauer, L.: Inconsistency management in multi-user modeling environments. Master’s thesis, RWTH Aachen (1996) (in German)

    Google Scholar 

  6. Brogi, A., Contiero, S., Jeusfeld, M., Soiron, R., Lloyd, J., Milkowska, M.: Applications of Gödel. In: Apt, K.R., Jarke, M., Nutt, W., Pedreschi, E., de Schreye, D. (eds.) Gödel and Parallel Prolog, ESPRIT BRA 6810 (Compulog 2), Deliv. 6.2.1 (August 1994)

    Google Scholar 

  7. Broy, M., Facchi, C., Grosu, F., Hettler, R., Hu”smann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stolen, K.: The requirement and design specification language spectrum: An informal introduction. Technical Report TUM-I9311+I9312, Technische Universität München (1993)

    Google Scholar 

  8. Bernstein, P.A., Harry, K., Sanders, P., Shutt, D., Zander, J.: The microsoft repository. In: Proc. of the 23rd Intl. Conf. on Very Large Data Bases (VLDB), Athens, Greece, August 1997, pp. 3–12 (1997)

    Google Scholar 

  9. Borgida, A.: Language features for flexible handling of exceptions in information systems. ACM Trans. on Database Systems 10(4), 565–603 (1985)

    Article  Google Scholar 

  10. Checkland, P.B.: Soft systems methodology. In: Rosenhead, J. (ed.) Rational Analysis for a Problematic World, pp. 71–100. John Wiley & Sons, Chichester (1989)

    Google Scholar 

  11. Crawford, A.: Advancing Business Concepts in a JAD Workshop Setting. Prentice-Hall, Englewood Cliffs (1994)

    Google Scholar 

  12. Downs, E., Clare, P., Coe, I.: Structured Systems Analysis and Design, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)

    Google Scholar 

  13. Doyle, J.: A truth maintenance system. Artificial Intelligence 12, 231–272 (1979)

    Article  MathSciNet  Google Scholar 

  14. Easterbrook, S.M.: Learning from inconsistency. In: Proc. of the 8th Intl. Workshop on Software Specification and Design, Schloss Velen, Germany (March 1996)

    Google Scholar 

  15. Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems. The Benjamin/Cummings Publishing Company (1994)

    Google Scholar 

  16. Easterbrook, S.M., Nuseibeh, B.A.: Using viewpoints for inconsistency management. Software Engineering Journal 11(1), 31–43 (1996)

    Article  Google Scholar 

  17. Feather, M.S., Fickas, S.: Coping with requirements freedoms. In: Balzer, R., Mylopoulos, J. (eds.) Proc. of the Intl. Workshop on the Development of Intelligent Information Systems, Niagara-on-the-Lake, Ontario, Canada, April 1991, pp. 42–46 (1991)

    Google Scholar 

  18. Fraternali, P., Paraboschi, S.: A review of repairing techniques for integrity maintenance. In: Proc. of the 1st Intl. Workshop on Rules in Database Systems, Edinburgh, Scottland, pp. 333–346 (1993)

    Google Scholar 

  19. Fowler, M., Scott, K.: UML Destilled: Applying the Standard Object Modeling Language. Addison-Wesley, Reading (1997)

    Google Scholar 

  20. Gabbay, D., Hunter, A.: Making inconsistency respectable: A logical framework for inconsistency in reasoning, part i - a position paper. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS(LNAI), vol. 535, pp. 19–32. Springer, Heidelberg (1991)

    Google Scholar 

  21. Gibson, C.F., Jackson, B.B.: The Information Imperative: Managing the Impact ofInformation Technology on Business and People. Lexington Books D.C. Heath, Lexington (1987)

    Google Scholar 

  22. Griefahn, U., Lüottringhaus, S.: Top-down integrity constraint checking for deductive databases. In: Warren, D.H., Szerdei, P. (eds.) Proceedings of the 7th International Conference on Logic Programming (ICLP 1990), pp. 130–146. MIT Press, Cambridge (1990)

    Google Scholar 

  23. Greenspan, S.: Requirements Modeling: A Knowledge Representation Approach to Requirements Definition. PhD thesis, Department of Computer Science, University of Toronto (1984)

    Google Scholar 

  24. Hussmann, H.: Formal foundations of ssadm: An approach integrating the formal and pragmatic world of requirement engineering. Habilitationsschrift, Technische Universität München (June 1994)

    Google Scholar 

  25. IDS Prof. Scheer GmbH, Saarbrücken. ARIS-Toolset Manual V 3.1 (1996)

    Google Scholar 

  26. Inmon, W.H.: Building the Data Warehouse. QED Publishing Group (1996)

    Google Scholar 

  27. Jeusfeld, M.A.: Update Control in Deductive Object Bases. PhD thesis, University of Passau (1992) (in German)

    Google Scholar 

  28. Jarke, M., Gallersdörfer, R., Jeusfeld, M.A., Staudt, M., Eherer, S.: Con- ceptBase - a deductive object base for meta data management. Journal of Intelligent Information Systems, Special Issue on Deductive and Object-Oriented Databases 4(2), 167–192 (1995)

    Google Scholar 

  29. Johnson, W.L., Harris, D.R.: Sharing and reuse of requirements knowledge. In: Proc. of the 6th Annual KBSE Conference, Syracuse (September 1991)

    Google Scholar 

  30. Jarke, M., Jeusfeld, M.A., List, T.: Goal-oriented information flow management in chemical engineering processes. In: Nagl, M., Marquardt, W. (eds.) Integration von Entwicklungssystemen in Ingenieuranwendungen. Springer, Heidelberg (1998) (to appear) (in German)

    Google Scholar 

  31. Jarke, M., Kethers, S.: Experiences in initiating a regional engineering cooperation network: Problem analysis and modeling techniques. Wirtschaftsinformatik (1998) (to appear) (in German)

    Google Scholar 

  32. Kaiser, G.E., Schwanke, R.W.: Living with inconsistency in large systems. In: Proc. of the Intl. Workshop on Software Version and Configuration Control, pp. 98–118. B.G. Teubner, Stuggart (1988)

    Google Scholar 

  33. Kotonya, G., Sommerville, I.: Requirements engineering with viewpoints. Software Engineering Journal, Special Issue on Viewpoints in Requirements Engineering 11(1), 5–18 (1996)

    Google Scholar 

  34. Lefering, M.: An incremental integration tool between requirements engineering and programming-in-the-large. In: Proc. ofthe 1st Intl. Symposium on Requirements Engineering, pp. 82–89 (1993)

    Google Scholar 

  35. Leikauf, P.: Consistency Ensurance by Management of Inconsistencies. Diss. ETH Nr. 9208. ETH Zürich (1990) (in German)

    Google Scholar 

  36. Leite, J.C.S.P., Freeman, P.A.: Requirements validation through viewpoint resolution. IEEE Transactions on Software Engineering 17(12), 1253–1269 (1991)

    Article  Google Scholar 

  37. Lloyd, J.W., Topor, R.W.: Making Prolog more expressive. Journal of Logic Programming 1(3), 225–240 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  38. Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: Representing knowledge about information systems. ACM Transactions on Information Systems 8(4), 325–362 (1990)

    Article  Google Scholar 

  39. Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, Inc., San Francisco (1987)

    Google Scholar 

  40. Moerkotte, G., Lockemann, P.C.: Reactive consistency control in deductive databases. ACM Transactions on Database Systems 16(4), 670–702 (1991)

    Article  Google Scholar 

  41. Nagl, M.: Programming-In-The-Large. Springer, Heidelberg (1990)

    MATH  Google Scholar 

  42. Nissen, H.W.: Separation and Resolution of Multiple Perspectives in Conceptual Modeling. PhD thesis, RWTH Aachen, Germany (1996) (in German)

    Google Scholar 

  43. Nissen, H.W., Jarke, M.: Goal-oriented inconsistency management in customizable modeling environments. Technical Report 97-12, RWTH Aachen, Aachener Informatik-Berichte (1997)

    Google Scholar 

  44. Nissen, H.W., Jeusfeld, M.A., Jarke, M., Zemanek, G.V., Huber, H.: Managing multiple requirements perspectives with metamodels. IEEE Software, 37–47 (March 1996)

    Google Scholar 

  45. Nuseibeh, B., Kramer, J., Finkelstein, A.: A framework for expressing the relationships between multiple views in requirements specification. IEEE Transactions on Software Engineering 20(10), 760–773 (1994)

    Article  Google Scholar 

  46. Pohl, K.: The three dimensions of requirements engineering: A framework and its application. Information Systems 19(3) (1994)

    Google Scholar 

  47. Robinson, W., Fickas, S.: Supporting multi-perspective requirements engineering. In: Proc. of the IEEE Intl. Conf. on Requirements Engineering, pp. 206–215. IEEE Computer Society Press, Los Alamitos (1994)

    Chapter  Google Scholar 

  48. Reubenstein, H.B., Waters, R.C.: The requirements apprentice: Automated assistance for requirements acquisition. IEEE Transactions on Software Engineering 17(3), 226–240 (1991)

    Article  Google Scholar 

  49. SAP. Business blueprint for success. Technical Report SAp Info D&T No. 53, SAP AG (March 1997)

    Google Scholar 

  50. Simon, E.: Conception et Realisation d’un sous Systeme d’Integrite dans un SGBD Relationnel. PhD thesis, Universite de Paris VI (1986)

    Google Scholar 

  51. Staudt, M., Jarke, M.: Incremental maintenance of externally materialized views. In: Proc. of the 22nd Intl. Conf. on Very Large Data Bases (VLDB 1996), Bombay, India, September 1996, pp. 75–86 (1996)

    Google Scholar 

  52. Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenarios in systems development: Current practice. IEEE Software, 34–45 (March 1998)

    Google Scholar 

  53. Yourdon, E.: Modern Structured Analysis. Prentice Hall, Englewood Cliffs (1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik V (Information Systems), RWTH Aachen, Ahornstr. 55, 52072, Aachen, Germany

    Hans W. Nissen & Matthias Jarke

Authors
  1. Hans W. Nissen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Jarke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität München, Germany

    Manfred Broy

  2. Institute for Software Systems Engineering, Braunschweig University of Technology, Mühlenpfordtstraße 23, 38106, Braunschweig, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nissen, H.W., Jarke, M. (1998). Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. In: Broy, M., Rumpe, B. (eds) Requirements Targeting Software and Systems Engineering. RTSE 1997. Lecture Notes in Computer Science, vol 1526. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10692867_15

Download citation

  • DOI: https://doi.org/10.1007/10692867_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65309-7

  • Online ISBN: 978-3-540-49439-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation