Skip to main content
SpringerLink
Log in

Integration of Behavioural Requirements Specification within Knowledge Engineering

  • Conference paper
  • First Online:
Knowledge Acquisition, Modeling and Management (EKAW 1999)

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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. Angele, J., Fensel, D., Landes, D., and Studer, R., Developing Knowledge-based Systems with MIKE. Journal of Automated Software Engineering, 1998

    Google Scholar 

  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. Beyer, H.R. and Holtzblatt, K. (1995). Apprenticing with the customer, Communications of the ACM, vol. 38(5), pp. 45–52.

    Article  Google Scholar 

  4. Booch, G. (1991). Object oriented design with applications. Benjamins Cummins Publishing Company, Redwood City.

    Google Scholar 

  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. 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. 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.

    Article  Google Scholar 

  8. Clavadetscher, C. (1998). User involvement: key to success, IEEE Software, Requirements Engineering issue, March/April, pp. 30–33.

    Google Scholar 

  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. Davis, A. M. (1993). Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey.

    MATH  Google Scholar 

  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. 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, 1999

    Google Scholar 

  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. 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. 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. Gero, J.S., and Sudweeks, F., eds. (1996) Artificial Intelligence in Design’ 96, Kluwer Academic Publishers, Dordrecht.

    MATH  Google Scholar 

  17. Gero, J.S., and Sudweeks, F., eds. (1998) Artificial Intelligence in Design’ 98, Kluwer Academic Publishers, Dordrecht.

    MATH  Google Scholar 

  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. Holzblatt, K. and Beyer, K.R. (1995). Requirements gathering: the human factor, Communications of the ACM, vol. 38(5), pp. 31.

    Article  Google Scholar 

  20. Jackson, M.A. (1975). Principles of Program Design, Academic Press.

    Google Scholar 

  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–380

    Google Scholar 

  22. Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.

    Google Scholar 

  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. Potts, C., Takahashi, K. and Anton, A. (1994). Inquiry based requirements analysis, IEEE Software, 11(2), March.

    Google Scholar 

  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. Sage, A.P., and Palmer, J.D. (1990). Software Systems Engineering. John Wiley and Sons, New York.

    Google Scholar 

  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. Sommerville, I., and Sawyer P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England.

    MATH  Google Scholar 

  29. The Standish Group, (1995) The High Cost of Chaos: http://www.standishgroup.com

  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 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Research Network, University of Calgary, 2500 University Drive NW, Calgary, Alberta, T2N 1N4, Canada

    Daniela E. Herlea & Niek J. E. Wijngaards

  2. Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands

    Catholijn M. Jonker, Jan Treur & Niek J. E. Wijngaards

Authors
  1. Daniela E. Herlea
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Catholijn M. Jonker
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Niek J. E. Wijngaards
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. AIFB Institute for Applied Computer Science and Formal Description Methods, University of Karlsruhe, D-76128, Karlsruhe, Germany

    Dieter Fensel  & Rudi Studer  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag

About this paper

Cite this paper

Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E. (1999). Integration of Behavioural Requirements Specification within Knowledge Engineering. In: Fensel, D., Studer, R. (eds) Knowledge Acquisition, Modeling and Management. EKAW 1999. Lecture Notes in Computer Science(), vol 1621. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48775-1_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-48775-1_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66044-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation