Abstract
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).
Chapter PDF
Similar content being viewed by others
Keywords
References
N. Chomsky. A minimalist program for linguistic theory. Technical report, MIT Occasional Papers in Linguistics, 1992.
R. Cooper, J. Farringdon, J. Fox and T. Shallice. Levels of description in specifying Soar. In: Proceedings EuroSoar-5,1991.
D. John Doyle. Computer Programs in Clinical and Laboratory Medicine. Springer Verlag, 1989.
L.M.G. Feijs and H.B.M. Jonkers. Formal Specification and Design. Cambridge Tracts in Theoretical Computer Science 35. Cambridge University Press, 1994.
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.
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).
M. Fröhlick and M. Werner. daVinci V1.4 User Manual. Department of Computer Science, University of Bremen, January 1995.
A.F. de Geus. The Carola Database — User Manual. Department of Anaesthesiology, University Hospital Groningen, 1990.
A.F. de Geus and E.P. Rotterdam. Decision Support in Anaesthesia. PhD thesis, Department of Anaesthesiology, University of Groningen, 1992.
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.
R. Groenboom and G.R. Renardel de Lavalette. Formal Specification and Soar: does cognitive science need formalisms. In: Proceedings of workshop Euro-Soar6, 1992.
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.
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.
I.J. Hayes and B.P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7: 329–347, 1995.
J.E. Laird, A. Newell, and P.S. Rosenbloom. SOAR: An architecture for general intelligence. Artificial Intelligence, 33(1): 1–64, 1987.
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.
B.G. Miles. A specification of the Soar cognitive architecture in Z. Technical report CMU-CS-92-169, Carnegie Mellon University Pittsburgh PA, 1992.
C. Myers, C. Clack, and E. Poon. Programming with Standard ML. Prentice Hall, 1993.
M. Naftalin, T. Denvir, and M. Bertran (eds). FME '94: Industrial Benefit of Formal Methods. LNCS 873, Springer Verlag, 1994.
A. Newell and H.A. Simon. Human problem solving. Prentice-Hall, 1972.
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).
E.P. Rotterdam. Anesthesiekennis in Lafan. Technical report R93026, Department of Medical Information Science, University of Groningen, 1993. (In Dutch).
E.P. Rotterdam. FAN: Formalizing anaesthesiology in AFSL. Technical Report R9406, Department of Medical Information Science, University of Groningen, 1994.
E.P. Rotterdam. Desired Functionality of a Support System. In: [21].
J. Rumbaugh et. al. Object-Oriented Modeling and Design. Prentice Hall, 1991.
E. Saaman. User manual AFSL. Department of Computing Science, University of Groningen, (in preparation).
E. Saaman and G.R. Renardel de Lavalette. Object-Oriented Formalization, Manuscript, Department of Computing Science, University of Groningen, 1995.
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).
E.P. Stabler. The logical approach to syntax. MIT Press, Cambridge, 1992.
J. Treur and T. Wetter (eds). Formal Specification of Complex Reasoning Systems. Ellis Horwood, 1993.
B.J. Wielinga, A. Th. Schreiber, and J.A. Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1), March 1992.
J.C.P Woodcock and P.G. Larsen (eds). FME '93: Industrial-Strength Formal Methods. LNCS 670, Springer Verlag, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Groenboom, R., Saaman, E., Rotterdam, E., Renardel deLavalette, G. (1996). Formalizing Anaesthesia: A case study in formal specification. In: Gaudel, MC., Woodcock, J. (eds) FME'96: Industrial Benefit and Advances in Formal Methods. FME 1996. Lecture Notes in Computer Science, vol 1051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60973-3_84
Download citation
DOI: https://doi.org/10.1007/3-540-60973-3_84
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60973-5
Online ISBN: 978-3-540-49749-3
eBook Packages: Springer Book Archive