Protocure: supporting the development of medical protocols through formal methods

Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty C J G M Rosenbrand, Andreas Seyfang, Annette ten Teije

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

Medical guidelines and protocols describe the optimal care for a specific group of patients and therefore, when properly applied, improve the quality of patient care. During the last decade, a large number of medical guidelines and protocols have been published. However, the work done on developing and disseminating them far outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical guidelines and protocols. An approach grounded on a formal representation, can answer these needs, as we have demonstrated in the Protocure project'. The Protocure II project will aim at integrating formal methods in the life cycle of guidelines.

Original languageEnglish
Pages (from-to)103-107
Number of pages5
JournalStudies in Health Technology and Informatics
Volume101
Publication statusPublished - 2004

Keywords

  • Clinical Protocols
  • Decision Support Techniques
  • Evidence-Based Medicine
  • Humans
  • Planning Techniques
  • Practice Guidelines as Topic
  • Programming Languages
  • Software
  • Journal Article
  • Research Support, Non-U.S. Gov't

Fingerprint

Dive into the research topics of 'Protocure: supporting the development of medical protocols through formal methods'. Together they form a unique fingerprint.

Cite this