Formalizing Anaesthesia: A case study in formal specification

  • Rix Groenboom
  • Erik Saaman
  • Ernest Rotterdam
  • Gerard Renardel deLavalette
Session 3a: Requirements
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1051)


We report on the formalization of knowledge for a support system in the field of anaesthesiology. It is a case study in the use of the formal specification method we are developing. The method consists of guidelines (using concepts from object-oriented design methods), language (AFSL, Almost Formal Specification Language) and tools (type-checker, graphical representation of signatures).


Case study Development process Linking formal and informal methods Medical systems Object-orientation 


  1. 1.
    N. Chomsky. A minimalist program for linguistic theory. Technical report, MIT Occasional Papers in Linguistics, 1992.Google Scholar
  2. 2.
    R. Cooper, J. Farringdon, J. Fox and T. Shallice. Levels of description in specifying Soar. In: Proceedings EuroSoar-5,1991.Google Scholar
  3. 3.
    D. John Doyle. Computer Programs in Clinical and Laboratory Medicine. Springer Verlag, 1989.Google Scholar
  4. 4.
    L.M.G. Feijs and H.B.M. Jonkers. Formal Specification and Design. Cambridge Tracts in Theoretical Computer Science 35. Cambridge University Press, 1994.Google Scholar
  5. 5.
    D. Fensel and F. van Harmelen: A Comparison Of Languages Which Operationalize And Formalize KADS Models of Expertise, The Knowledge Engineering Review, vol 9(2), 1994.Google Scholar
  6. 6.
    M. Fieschi. Artificial Intelligence in Medicine. Chapman and Hall, 1990. Original title: Intelligence Artificielle en Médecine des Systèmes experts (translated by D. Cramp).Google Scholar
  7. 7.
    M. Fröhlick and M. Werner. daVinci V1.4 User Manual. Department of Computer Science, University of Bremen, January 1995.Google Scholar
  8. 8.
    A.F. de Geus. The Carola Database — User Manual. Department of Anaesthesiology, University Hospital Groningen, 1990.Google Scholar
  9. 9.
    A.F. de Geus and E.P. Rotterdam. Decision Support in Anaesthesia. PhD thesis, Department of Anaesthesiology, University of Groningen, 1992.Google Scholar
  10. 10.
    F. de Geus, E. Rotterdam, S. van Denneheuvel,and P. van Emde Boas. Physiological modeling using RL. In M. Stefanelli, A. Hasman, M. Fieschi, and J. Talmon, editors, Proceedings of AIME '91, pages 198–210. Springer Verlag, 1991.Google Scholar
  11. 11.
    R. Groenboom and G.R. Renardel de Lavalette. Formal Specification and Soar: does cognitive science need formalisms. In: Proceedings of workshop Euro-Soar6, 1992.Google Scholar
  12. 12.
    R. Groenboom, R.M. Tol, and E. Saaman. Formal specification and design of a simple real time kernel. In A. Nieuwendijk, editor, Proceedings Accolade '94, pages 87–102. Dutch Gradute School in Logic, Amsterdam, 1995.Google Scholar
  13. 13.
    John V. Guttag and James J. Horning, with S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag Texts and Monographs in Computer Science, 1993.Google Scholar
  14. 14.
    I.J. Hayes and B.P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7: 329–347, 1995.Google Scholar
  15. 15.
    J.E. Laird, A. Newell, and P.S. Rosenbloom. SOAR: An architecture for general intelligence. Artificial Intelligence, 33(1): 1–64, 1987.Google Scholar
  16. 16.
    I. van Langevelde, A. Philipsen, and J. Treur. Formal specificartion of compositional architectures. In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), Vienna, 1992.Google Scholar
  17. 17.
    B.G. Miles. A specification of the Soar cognitive architecture in Z. Technical report CMU-CS-92-169, Carnegie Mellon University Pittsburgh PA, 1992.Google Scholar
  18. 18.
    C. Myers, C. Clack, and E. Poon. Programming with Standard ML. Prentice Hall, 1993.Google Scholar
  19. 19.
    M. Naftalin, T. Denvir, and M. Bertran (eds). FME '94: Industrial Benefit of Formal Methods. LNCS 873, Springer Verlag, 1994.Google Scholar
  20. 20.
    A. Newell and H.A. Simon. Human problem solving. Prentice-Hall, 1972.Google Scholar
  21. 21.
    G.R. Renardel de Lavalette (ed). Formalization of Anaesthesia. Report on the FAN-project. Technical Report, Department of Computing Science, University of Groningen, (in preparation).Google Scholar
  22. 22.
    E.P. Rotterdam. Anesthesiekennis in Lafan. Technical report R93026, Department of Medical Information Science, University of Groningen, 1993. (In Dutch).Google Scholar
  23. 23.
    E.P. Rotterdam. FAN: Formalizing anaesthesiology in AFSL. Technical Report R9406, Department of Medical Information Science, University of Groningen, 1994.Google Scholar
  24. 24.
    E.P. Rotterdam. Desired Functionality of a Support System. In: [21].Google Scholar
  25. 25.
    J. Rumbaugh et. al. Object-Oriented Modeling and Design. Prentice Hall, 1991.Google Scholar
  26. 26.
    E. Saaman. User manual AFSL. Department of Computing Science, University of Groningen, (in preparation).Google Scholar
  27. 27.
    E. Saaman and G.R. Renardel de Lavalette. Object-Oriented Formalization, Manuscript, Department of Computing Science, University of Groningen, 1995.Google Scholar
  28. 28.
    E. Saaman, P. Politiek, and K. Brookhuis. Specification and Design of InDeter-1. Technical report, Traffic Research Centre, University of Groningen, 1994. Deliverable 9 (321A).Google Scholar
  29. 29.
    E.P. Stabler. The logical approach to syntax. MIT Press, Cambridge, 1992.Google Scholar
  30. 30.
    J. Treur and T. Wetter (eds). Formal Specification of Complex Reasoning Systems. Ellis Horwood, 1993.Google Scholar
  31. 31.
    B.J. Wielinga, A. Th. Schreiber, and J.A. Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1), March 1992.Google Scholar
  32. 32.
    J.C.P Woodcock and P.G. Larsen (eds). FME '93: Industrial-Strength Formal Methods. LNCS 670, Springer Verlag, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Rix Groenboom
    • 1
  • Erik Saaman
    • 1
  • Ernest Rotterdam
    • 2
  • Gerard Renardel deLavalette
    • 1
  1. 1.Research Institute for Mathematics and Computing ScienceUniversity of GroningenAV Groningenthe Netherlands
  2. 2.Department of Medical Information SciencesUniversity Hospital GroningenRB Groningenthe Netherlands

Personalised recommendations