Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods

  • Hans W. Nissen
  • Matthias Jarke
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1526)


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.


Requirement Engineering Object Base Integrity Constraint Formal Support Deductive Database 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Abe95.
    Abel, P.: Description of the USU-PFR analysis method. Technical report, USU GmbH, Möglingen (1995)Google Scholar
  2. ACM95.
    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. Aug91.
    August, J.H.: Joint Application Design: The Group Session Approach to System Design. Yourdon Press, Englewood Cliffs (1991)Google Scholar
  4. Bal91.
    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. Bau96.
    Bauer, L.: Inconsistency management in multi-user modeling environments. Master’s thesis, RWTH Aachen (1996) (in German)Google Scholar
  6. BCJS+94.
    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. BFG+93.
    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. BHS+97.
    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. Bor85.
    Borgida, A.: Language features for flexible handling of exceptions in information systems. ACM Trans. on Database Systems 10(4), 565–603 (1985)CrossRefGoogle Scholar
  10. Che89.
    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. Cra94.
    Crawford, A.: Advancing Business Concepts in a JAD Workshop Setting. Prentice-Hall, Englewood Cliffs (1994)Google Scholar
  12. DCC92.
    Downs, E., Clare, P., Coe, I.: Structured Systems Analysis and Design, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)Google Scholar
  13. Doy79.
    Doyle, J.: A truth maintenance system. Artificial Intelligence 12, 231–272 (1979)CrossRefMathSciNetGoogle Scholar
  14. Eas96.
    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. EN94.
    Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems. The Benjamin/Cummings Publishing Company (1994)Google Scholar
  16. EN96.
    Easterbrook, S.M., Nuseibeh, B.A.: Using viewpoints for inconsistency management. Software Engineering Journal 11(1), 31–43 (1996)CrossRefGoogle Scholar
  17. FF91.
    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. FP93.
    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. FS97.
    Fowler, M., Scott, K.: UML Destilled: Applying the Standard Object Modeling Language. Addison-Wesley, Reading (1997)Google Scholar
  20. GH91.
    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. GJ87.
    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. GL90.
    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. Gre84.
    Greenspan, S.: Requirements Modeling: A Knowledge Representation Approach to Requirements Definition. PhD thesis, Department of Computer Science, University of Toronto (1984)Google Scholar
  24. Hus94.
    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. IDS96.
    IDS Prof. Scheer GmbH, Saarbrücken. ARIS-Toolset Manual V 3.1 (1996)Google Scholar
  26. Inm96.
    Inmon, W.H.: Building the Data Warehouse. QED Publishing Group (1996)Google Scholar
  27. Jeu92.
    Jeusfeld, M.A.: Update Control in Deductive Object Bases. PhD thesis, University of Passau (1992) (in German)Google Scholar
  28. JGJ+95.
    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. JH91.
    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. JJL98.
    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. JK98.
    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. KS88.
    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. KS96.
    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. Lef93.
    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. Lei90.
    Leikauf, P.: Consistency Ensurance by Management of Inconsistencies. Diss. ETH Nr. 9208. ETH Zürich (1990) (in German)Google Scholar
  36. LF91.
    Leite, J.C.S.P., Freeman, P.A.: Requirements validation through viewpoint resolution. IEEE Transactions on Software Engineering 17(12), 1253–1269 (1991)CrossRefGoogle Scholar
  37. LT84.
    Lloyd, J.W., Topor, R.W.: Making Prolog more expressive. Journal of Logic Programming 1(3), 225–240 (1984)zbMATHCrossRefMathSciNetGoogle Scholar
  38. MBJK90.
    Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: Representing knowledge about information systems. ACM Transactions on Information Systems 8(4), 325–362 (1990)CrossRefGoogle Scholar
  39. Min87.
    Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, Inc., San Francisco (1987)Google Scholar
  40. ML91.
    Moerkotte, G., Lockemann, P.C.: Reactive consistency control in deductive databases. ACM Transactions on Database Systems 16(4), 670–702 (1991)CrossRefGoogle Scholar
  41. Nag90.
    Nagl, M.: Programming-In-The-Large. Springer, Heidelberg (1990)zbMATHGoogle Scholar
  42. Nis96.
    Nissen, H.W.: Separation and Resolution of Multiple Perspectives in Conceptual Modeling. PhD thesis, RWTH Aachen, Germany (1996) (in German)Google Scholar
  43. NJ97.
    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. NJJ+96.
    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. NKF94.
    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)CrossRefGoogle Scholar
  46. Poh94.
    Pohl, K.: The three dimensions of requirements engineering: A framework and its application. Information Systems 19(3) (1994)Google Scholar
  47. RF94.
    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)CrossRefGoogle Scholar
  48. RW91.
    Reubenstein, H.B., Waters, R.C.: The requirements apprentice: Automated assistance for requirements acquisition. IEEE Transactions on Software Engineering 17(3), 226–240 (1991)CrossRefGoogle Scholar
  49. SAP97.
    SAP. Business blueprint for success. Technical Report SAp Info D&T No. 53, SAP AG (March 1997) Google Scholar
  50. Sim86.
    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. SJ96.
    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. WPJH98.
    Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenarios in systems development: Current practice. IEEE Software, 34–45 (March 1998)Google Scholar
  53. You89.
    Yourdon, E.: Modern Structured Analysis. Prentice Hall, Englewood Cliffs (1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Hans W. Nissen
    • 1
  • Matthias Jarke
    • 1
  1. 1.Informatik V (Information Systems)RWTH AachenAachenGermany

Personalised recommendations