title: Protocure: supporting the development of medical protocols through formal methods.
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.
authors.affiliation: Universitaet Augsburg, Germany.
authors.forename: Michael
authors.initials: M
authors.lastname: Balser
authors.forename: Oscar
authors.initials: O
authors.lastname: Coltell
authors.forename: Joyce
authors.initials: J
authors.lastname: van Croonenborg
authors.forename: Christoph
authors.initials: C
authors.lastname: Duelli
authors.forename: Frank
authors.initials: F
authors.lastname: van Harmelen
authors.forename: Albert
authors.initials: A
authors.lastname: Jovell
authors.forename: Peter
authors.initials: P
authors.lastname: Lucas
authors.forename: Mar
authors.initials: M
authors.lastname: Marcos
authors.forename: Silvia
authors.initials: S
authors.lastname: Miksch
authors.forename: Wolfgang
authors.initials: W
authors.lastname: Reif
authors.forename: Kitty
authors.initials: K
authors.lastname: Rosenbrand
authors.forename: Andreas
authors.initials: A
authors.lastname: Seyfang
authors.forename: Annette
authors.initials: A
authors.lastname: ten Teije
mesh_terms: D002985:Clinical Protocols; D003661:Decision Support Techniques; D019317:Evidence-Based Medicine; D006801:Humans; D010934:Planning Techniques; D017410:Practice Guidelines as Topic; D011381:Programming Languages; D012984:Software