A Formal Knowledge Level Process Model of Requirements Engineering

  • Daniela E. Herlea
  • Catholijn M. Jonker
  • Jan Treur
  • Niek J. E. Wijngaards
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1611)


In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity. In this paper the process of Requirements Engineering has been analyzed using knowledge-level modelling techniques, resulting in a well-specified compositional process model for the Requirements Engineering task.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: Formal Specification of Multi-Agent Systems: a Real World Case. In: Lesser, V. (ed.) Proceedings First International Conference on Multi-Agent Systems ICMAS 1995, pp. 25–32. MIT Press, Cambridge (1995); Extended version in: Huhns, M., Singh, M. (eds.): International Journal of Cooperative Information Systems IJCIS, vol. 6(1), pp. 67–94 (1997)Google Scholar
  2. 2.
    Brazier, F.M.T., Jonker, C.M., Treur, J.: Principles of Compositional Multi-agent System Development. In: Cuena, J. (ed.) Proceedings of the 15th IFIP World Computer Congress, WCC 1998, Conference on Information Technology and Knowledge Systems, IT&KNOWS 1998, pp. 347–360 (1998)Google Scholar
  3. 3.
    Brazier, F.M.T., Wijngaards, N.J.E.: An instrument for a purpose driven comparison of modelling frameworks. In: Plaza, E., Benjamins, R. (eds.) EKAW 1997. LNCS, vol. 1319, pp. 323–328. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  4. 4.
    Davis, A.M.: Software requirements: Objects, Functions and States. Prentice Hall, New Jersey (1993)zbMATHGoogle Scholar
  5. 5.
    Dubois, E., Du Bois, P., Zeippen, J.M.: A Formal Requirements Engineering Method for Real-Time, Concvurrent and Distributed Systems. In: Proc. of the Real-Time Systems Conference, RTS 1995(1995)Google Scholar
  6. 6.
    Erdmann, M., Studer, R.: Use-Cases and Scenarios for Developing Knowledge-based Systems. In: Cuena, J. (ed.) Proc. of the 15th IFIP World Computer Congress, WCC 1998, Conference on Information Technologies and Knowledge Systems, IT&KNOWS 1998, pp. 259–272 (1998)Google Scholar
  7. 7.
    Herlea, D., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: A Case Study in Requirements Engineering: a Personal Internet Agent. Technical Report, Vrije Universiteit Amsterdam, Department of Artificial Intelligence (1999),
  8. 8.
    Kontonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York (1998)Google Scholar
  9. 9.
    Loucipoulos, P., Karakostas, V.: System Requirements Engineering. McGraw-Hill, London (1995)Google Scholar
  10. 10.
    Sommerville, I., Sawyer, P.: Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester (1997)zbMATHGoogle Scholar
  11. 11.
    Weidenhaupt, K., Pohl, M., Jarke, M., Haumer, P.: Scenarios in system development: current practice. IEEE Software, 34–45 (March/April 1998)Google Scholar
  12. 12.
    Yadav, S., et al.: Comparison of analysis techniques for information requirements determination. Communications of the ACM 27(2) (1988)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Daniela E. Herlea
    • 1
  • Catholijn M. Jonker
    • 2
  • Jan Treur
    • 2
  • Niek J. E. Wijngaards
    • 1
    • 2
  1. 1.Software Engineering Research NetworkUniversity of CalgaryCalgaryCanada
  2. 2.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands

Personalised recommendations