Advertisement

Integration of Behavioural Requirements Specification within Knowledge 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 1621)

Abstract

It is shown how specification of behavioural requirements from informal to formal can be integrated within knowledge engineering. The integration of requirements specification has addressed, in particular: the integration of requirements acquisition and specification with ontology acquisition and specification, the relations between requirements specifications and specifications of task models and problem solving methods, and the relation of requirements specification to verification.

Keywords

Requirement Specification Requirement Engineering Requirement Engineer Temporal Formula Requirement Engineering Process 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Angele, J., Fensel, D., Landes, D., and Studer, R., Developing Knowledge-based Systems with MIKE. Journal of Automated Software Engineering, 1998Google Scholar
  2. 2.
    Benjamins, R., Fensel, D., Straatman, R. (1996). Assumptions of problem-solving methods and their role in knowledge engineering. In: W. Wahlster (Ed.), Proceedings of the12th European Conference on AI, ECAI’96, John Wiley and Sons, pp. 408–412.Google Scholar
  3. 3.
    Beyer, H.R. and Holtzblatt, K. (1995). Apprenticing with the customer, Communications of the ACM, vol. 38(5), pp. 45–52.CrossRefGoogle Scholar
  4. 4.
    Booch, G. (1991). Object oriented design with applications. Benjamins Cummins Publishing Company, Redwood City.Google Scholar
  5. 5.
    Brazier, F.M.T., Cornelissen, F., Gustavsson, R., Jonker, C.M., Lindeberg, O., Polak, B., and Treur, J. (1998). Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation. In: Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS’98. IEEE Computer Society Press, pp. 49–56.Google Scholar
  6. 6.
    Brazier, F.M.T., Jonker, C.M., and Treur, J. (1998). Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC’98, Conference on Information Technology and Knowledge Systems, IT&KNOWS’98, pp. 347–360.Google Scholar
  7. 7.
    Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1999). Temporal Semantics of Compositional Task Models and Problem Solving Methods. Data and Knowledge Engineering, vol. 29(1), 1999, pp. 17–42.CrossRefGoogle Scholar
  8. 8.
    Clavadetscher, C. (1998). User involvement: key to success, IEEE Software, Requirements Engineering issue, March/April, pp. 30–33.Google Scholar
  9. 9.
    Cornelissen, F., Jonker, C.M., and Treur, J. (1997). Compositional verification of knowledge-based systems: a case study in diagnostic reasoning. In: E. Plaza, R. Benjamins (eds.), Knowledge Acquisition, Modelling and Management, Proceedings of the 10th European Knowledge Acquisition Workshop, EKAW’97, Lecture Notes in AI, vol. 1319, Springer Verlag, Berlin, pp. 65–80.Google Scholar
  10. 10.
    Davis, A. M. (1993). Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey.zbMATHGoogle Scholar
  11. 11.
    Dubois, E., Yu, E., Petit, M. (1998). From Early to Late Formal Requirements. In: Proc. IWSSD’98. IEEE Computer Society Press.Google Scholar
  12. 12.
    Engelfriet, J., Jonker, C.M. and Treur, J., Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Pre-proc. of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL’98, 1998, pp. 91–106. To appear in: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V. Lecture Notes in AI, Springer Verlag, 1999Google Scholar
  13. 13.
    Erdmann, M. and Studer, R. (1998). Use-Cases and Scenarios for Developing Knowledge-based Systems. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC’98, Conference on Information Technology and Knowledge Systems, IT&KNOWS’98, pp. 259–272.Google Scholar
  14. 14.
    Fensel, D. (1995). Assumptions and limitations of a problem solving method: a case study. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW’95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary.Google Scholar
  15. 15.
    Fensel, D., Benjamins, R. (1996) Assumptions in model-based diagnosis. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW’96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pp. 5/1–5/18.Google Scholar
  16. 16.
    Gero, J.S., and Sudweeks, F., eds. (1996) Artificial Intelligence in Design’ 96, Kluwer Academic Publishers, Dordrecht.zbMATHGoogle Scholar
  17. 17.
    Gero, J.S., and Sudweeks, F., eds. (1998) Artificial Intelligence in Design’ 98, Kluwer Academic Publishers, Dordrecht.zbMATHGoogle Scholar
  18. 18.
    Herlea, D., Jonker, C.M., Treur, J. and Wijngaards, N.J.E. (1998). A Case Study in Requirements Engineering. Report, Vrije Universiteit Amsterdam, Department of Artificial Intelligence. URL: http://www.cs.vu.nl/~treur/pareqdoc.html
  19. 19.
    Holzblatt, K. and Beyer, K.R. (1995). Requirements gathering: the human factor, Communications of the ACM, vol. 38(5), pp. 31.CrossRefGoogle Scholar
  20. 20.
    Jackson, M.A. (1975). Principles of Program Design, Academic Press.Google Scholar
  21. 21.
    Jonker, C.M. and Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS’97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350–380Google Scholar
  22. 22.
    Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.Google Scholar
  23. 23.
    Musen, M. (1998). Ontology Oriented Design and Programming: a New Kind of OO. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC’98, Conference on Information Technology and Knowledge Systems, IT&KNOWS’98, pp. 17–20.Google Scholar
  24. 24.
    Potts, C., Takahashi, K. and Anton, A. (1994). Inquiry based requirements analysis, IEEE Software, 11(2), March.Google Scholar
  25. 25.
    Pressman, R.S. (1997). Software Engineering: A practitioner’s approach. Fourth Edition, McGraw-Hill Series in Computer Science, McGraw-Hill Companies Inc., New York.Google Scholar
  26. 26.
    Sage, A.P., and Palmer, J.D. (1990). Software Systems Engineering. John Wiley and Sons, New York.Google Scholar
  27. 27.
    Schreiber, A.Th., Wielinga, B.J., Akkermans, J.M., Velde, W. van de, and Hoog, R. de (1994). CommonKADS: A comprehensive methodology for KBS development. In: IEEE Expert, 9(6).Google Scholar
  28. 28.
    Sommerville, I., and Sawyer P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England.zbMATHGoogle Scholar
  29. 29.
    The Standish Group, (1995) The High Cost of Chaos: http://www.standishgroup.com
  30. 30.
    Weidenhaupt, K., Pohl, M., Jarke, M. and Haumer, P. (1998). Scenarios in system development: current practice, IEEE Software, pp. 34–45, March/April.Google Scholar

Copyright information

© Springer-Verlag 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