Skip to main content
SpringerLink
Log in

Requirements engineering: An integrated view of representation, process, and domain

  • Conference paper
  • First Online:
Software Engineering — ESEC '93 (ESEC 1993)

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

Included in the following conference series:

Abstract

Reuse, system integration, and interoperability create a growing need for capturing, representing, and using application-level information about software-intensive systems and their evolution. In ESPRIT Basic Research Project NATURE, we are developing an integrative approach to requirements management based on a three-dimensional framework which addresses formalism as well as cognitive and social aspects. This leads to a new requirements process model which integrates human freedoms through allowing relatively free decisions in given situations. Classes of situations and decisions are defined with respect to the three-dimensional framework through the integration of informal and formal representations, theories of domain modeling, and the explicit consideration of nonfunctional requirements in teamwork. Technical support is provided by a conceptual modeling environment with knowledge acquisition through interactive as well as reverse modeling, and with similarity-based querying.

This work is supported in part by ESPRIT Basic Research Project 6353 (NATURE).

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. Akman, V.; ten Hagen, P.J.W. and Tomiyama, T.: A Fundamental and Theoretical Framework for an Intelligent CAD System; Computer Aided Design 22, 6, 1990.

    Google Scholar 

  2. Anderson, J.R.: The Adaptive Character of Thought. Hillsdale, NJ: Erlbaum, 1990.

    Google Scholar 

  3. Balzer, R.: Tolerating Inconsistency; Proc. 13th ICSE, Austin 1991, 158–165.

    Google Scholar 

  4. Biggerstaff, T. and Richter, C.: Reusability framework, assessment and directions; IEEE Software, March 1987.

    Google Scholar 

  5. Borgida, A.; Greenspan, S.J. and Mylopoulos, J.: Knowledge Representation as the Basis for Requirements Specification; IEEE Computer, April 1985, 82–91.

    Google Scholar 

  6. Boehm, B.W.: A Spiral Model of Software Development and Enhancement; IEEE Computer 21.

    Google Scholar 

  7. Brian, P.M.; Niezette, M.; Pantatzis, D., Seltveit, A.H.; Sundin, U.; Theodolidis, B.; Tziallas, M.G. and Wohed, R.: A Rule Language to Capture and Model Business Policy Specifications; Proc. CAiSE 1991, Trondheim, Norway.

    Google Scholar 

  8. Constantopoulos, P., Jarke, M.; Mylopoulos, J. and Vassiliou, Y.: Software Information Base: A server for reuse; ITHACA-Report, ICS-FORTH, Heraclion 1992.

    Google Scholar 

  9. Conklin J. and Begeman M.L.: A Hypertext Tool for Exploratory Policy Discussion; ACM Trans. Office Information Systems 6, 4, 1988, 140–151

    Google Scholar 

  10. Cohen, P. and Kjeldsen, R.: Information Retrieval by Constrained Spreading Activation in Semantic Networks; Inf. Processing and Management, 23, 4, 1987.

    Google Scholar 

  11. Dardenne, A.; Fickas, S. and van Lamsweerde, A.: Goal-Directed Concept Acquisition in Requirements Elicitation; Proc. 6th IEEE IWSSD, Como, Italy, 1991, 14–21.

    Google Scholar 

  12. Dowson, M.: Iteration in the Software Process; Proc. 9th ICSE, Monterey 1987.

    Google Scholar 

  13. Eherer, S. and Jarke, M.: Knowledge Base Support for Hypermedia Co-Authoring; Proc. Database and Expert Systems Applications, Berlin, 1991, 465–470.

    Google Scholar 

  14. Feather, M. and Fickas, S.: Coping with Requirements Freedom; Proc. Intl. Workshop Development of Intelligent Information Systems, Canada, 1991, 42–46.

    Google Scholar 

  15. Finkelstein, A.; Kramer, J. and Goedicke, M.: Viewpoint-Oriented Software Development; Proc. Conf Le Génie Logiciel et ses Applications, 1990, 337–351.

    Google Scholar 

  16. Gentner, D.: Structure Mapping: a Theoretical Framework for Analogy; Cognitive Science 5, 1983, 121–152.

    Google Scholar 

  17. Gick, M.L. and Holyoak, K.J.: Schema Induction and Analogical Transfer; Cognitive Psychology 15, 1983, 1–38.

    Google Scholar 

  18. Greenspan, S.J.: Requirements modeling: A Knowledge Representation Approach to Software Requirements Definition. Univ. Toronto, Tech.Report. CSRG 155, 1984.

    Google Scholar 

  19. Greiner, R.: Abstraction-based Analogical Inference, in Analogical Reasoning; D.H. Helman (ed.), Kluwer Academic Publishers, 1988, 147–170.

    Google Scholar 

  20. Grosz, G. and Rolland, C.: Using Artificial Intelligence Techniques to Formalize the Information System Design Process; Proc. DEXA, Vienna 1990, 374–380.

    Google Scholar 

  21. Guindon, R. and Curtis, B.: Control of Cognitive Processes During Software Design: What Tools are Needed? Proc. ACM-CHI, 1988, 263–269.

    Google Scholar 

  22. Guindon, R.: Designing the Design Process: Exploiting Opportunistic Thoughts; Human-Computer Interaction Journal 5, 1990, 305–344.

    Google Scholar 

  23. Hagelstein, J.: Declarative Approach to Information Systems Requirements; Knowledge Based Systems, 1, 4, 1988, 211–220.

    Google Scholar 

  24. Henderson-Sellers, B., and Edwards, J.M.: The Object-Oriented Systems Life Cycle; Comm. ACM, Sept. 1990.

    Google Scholar 

  25. Hahn, U.; Jarke, M. and Rose, T.: Teamwork Support in a Knowledge-Based Information Systems Environment; IEEE Trans. Software Eng., 17,5, 1991.

    Google Scholar 

  26. Jarke, M. and Pohl, K.: Establishing Visions in Context: Towards a Model of Requirements Processes; Submitted for publication.

    Google Scholar 

  27. Jarke, M., ed.: ConceptBase V3.1 User Manual; Aachener Inf.Berichte 92–17, 1992.

    Google Scholar 

  28. Jarke, M., ed.: Database Application Engineering with DAIDA, Springer 1993.

    Google Scholar 

  29. Jeusfeld, M.: Änderungskontrolle in Deduktiven Objektbanken; DISKI Volume 17, Bad Honnef, Germany: INFIX Publ. (Diss. Univ. Passau, in German)

    Google Scholar 

  30. Jarke M., et.al.: NATURE: Initial Integration Report; RWTH-Aachen, 1992.

    Google Scholar 

  31. Johnson, P.; Johnson, H.; Waddington, R. and Shouls, A.: Task-related Knowledge Structures: Analysis, Modelling and Application; Proc. HCI '88, Cambridge University Press, 1988, 35–61.

    Google Scholar 

  32. Johnson L., Harris D.: The ARIES project; Proc. 5th KBSA, Liverpool, 121–131

    Google Scholar 

  33. Kalman, K.: Implementation and Critique of an Algorithm which Maps a Relational Database to a Conceptual Model; Proc. CAiSE, Springer, 1991, 393–415.

    Google Scholar 

  34. Lubars, M.D.: A domain modeling representation; MCC Technical Report STP-366-88, Austin, Tx, Nov., 1988.

    Google Scholar 

  35. Maiden, N.: Analogical Specification Reuse during Requirements Analysis; Ph.D. Thesis, City Univ. London, 1992.

    Google Scholar 

  36. Maiden, N. and Sutcliffe, A.: Exploiting Reusable Specifications through Analogy. Comm. ACM 35, 4, 1992, 55–64.

    Google Scholar 

  37. Maiden, N. and Sutcliffe, A.: Requirements engineering by Example: An Empirical Study; Proc. Intl. Symp. Requirements Engineering, San Diego, 1993.

    Google Scholar 

  38. Mylopoulos, J.; Borgida, A.; Jarke, M. and Koubarakis, M.: Telos: Representing Knowledge About Information Systems; ACM Trans. Inform. Systems 8, 4, 1990.

    Google Scholar 

  39. Pernici, B.: Objects with Roles; Proc. ACM COIS, Cambridge, Mass, 1990, 205215.

    Google Scholar 

  40. Pohl, K.: The Three Dimensions of Requirements Engineering; Proc. of the CAiSE Conference, 8–11 June, Paris, Springer-Verlag, 1993.

    Google Scholar 

  41. Pohl, K. and Jarke, M.: Quality Information Systems: Repository Support for Evolving Process Models; Aachener Informatik-Projekte 92–36.

    Google Scholar 

  42. Potts, C: A Generic Model for Representing Design Methods; Proc. 11th Intl. Conf. Software Engineering, Pittsburgh, 1989.

    Google Scholar 

  43. Punchello, P.P.; Torrigiani, P.; Pietri, F.; Burion, R.; Cardile, B. and Conit, M.: ASPIS: A Knowledge-Based CASE Environment; IEEE Software, March1988.

    Google Scholar 

  44. Ramesh, B., Dhar, V. Supporting Systems Development by Capturing Deliberations during Requirements Engineering; IEEE Trans. Software Eng. 18, 6, 498–510.

    Google Scholar 

  45. Reubenstein, H.B. and Waters, R.C.: The Requirements Apprentice: Automated Assistance for Requirements Acquisition; IEEE TSE, March 1991, p. 226–240.

    Google Scholar 

  46. Rose, T.; Jarke, M.; Gocek, M.; Maltzahn, C. and Nissen, H.: A Decision-Based Configuration Process Environment; Software Engineering Journal 6, 5, 1991.

    Google Scholar 

  47. Rosch, E.: Prototype classification and logical classification; In Scholnick (ed.): New Trends in Conceptual Representation: Challenges to Piaget's Theory? LEA 1991

    Google Scholar 

  48. Royce, W.W.; Managing the Development of Large Software Systems; Proc. IEEE WESCON, 1970.

    Google Scholar 

  49. Schank, R.C.: Dynamic Memory: A Theory of Reminding and Learning in People and Computers; Cambridge University Press, 1982.

    Google Scholar 

  50. Sjöberg, L.: A Cognitive Theory of Similarity; Goteborg Psych. Rep. 2, 10, 1972.

    Google Scholar 

  51. Spanoudakis, G. and Constantopoulos P.: Similarity For Analogical Software Reuse: A Conceptual Modelling Approach; Proc. CAiSE, Paris 1993.

    Google Scholar 

  52. Talldal, B. and Wangler, B.: Extracting a Conceptual Model from Examples of Filled In Forms. In N. Prakash (ed.), Data Management: Current Trends; New Delhi: Tata McGraw-Hill, 1990, 327–358.

    Google Scholar 

  53. Tversky, A.: Features of Similarity; Psychological Review, 44(4), July 1977.

    Google Scholar 

  54. Vessey, I., Järvenpaa, S.I. and Tractinsky, N.: Evaluation of Vendor Products: CASE Tools as Methodology Companions; Comm. ACM 35, 4, 1992, 90–105.

    Google Scholar 

  55. Winograd, T. and Flores F.: Understanding Computers and Cognition: A New Foundation for Design; Ablex, Norwood, NJ, 1986.

    Google Scholar 

  56. Wing J.: A specifier's introduction to formal methods; IEEE Computer 23, 9, 8–26.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik V, RWTH Aachen, Ahornstr. 55, 5100, Aachen, Germany

    Matthias Jarke, Klaus Pohl & Stephan Jacobs

  2. SISU-ISE, Isafjordsgatan 26, 1250, Kista, Sweden

    Janis Bubenko, Petia Assenova, Peter Holm & Benkt Wangler

  3. Universite Paris 1, rue de al Sorbonne 17, 75231, Paris, France

    Colette Rolland, Veronique Plihon & Jean -Roch Schmitt

  4. Business Comp., City University, ECIV OHB, London, UK

    Alistair Sutcliffe, Sara Jones, Neil Maiden & David Till

  5. ICS-FORTH, Dedalou 36, 71110, Heraclion, Greece

    Yannis Vassiliou, Panos Constantopoulos & Giorgios Spanoudakis

Authors
  1. Matthias Jarke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Klaus Pohl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stephan Jacobs
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Janis Bubenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Petia Assenova
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Peter Holm
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Benkt Wangler
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Colette Rolland
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Veronique Plihon
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Jean -Roch Schmitt
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Alistair Sutcliffe
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Sara Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

  13. Neil Maiden
    View author publications

    You can also search for this author in PubMed Google Scholar

  14. David Till
    View author publications

    You can also search for this author in PubMed Google Scholar

  15. Yannis Vassiliou
    View author publications

    You can also search for this author in PubMed Google Scholar

  16. Panos Constantopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  17. Giorgios Spanoudakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ian Sommerville Manfred Paul

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jarke, M. et al. (1993). Requirements engineering: An integrated view of representation, process, and domain. In: Sommerville, I., Paul, M. (eds) Software Engineering — ESEC '93. ESEC 1993. Lecture Notes in Computer Science, vol 717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57209-0_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-57209-0_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57209-1

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation