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 Rosenbrand; Andreas Seyfang; Annette Ten Teije

doi:10.3233/978-1-60750-944-8-103

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 Rosenbrand, Andreas Seyfang, Annette Ten Teije

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

16 Citations (Scopus)

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 language	English
Title of host publication	Computer-Based Support for Clinical Guidelines and Protocols
Subtitle of host publication	Proceedings of the Symposium on Computerized Guidelines and Protocols, CGP 2004
Publisher	IOS
Pages	103-107
Number of pages	5
ISBN (Electronic)	978-1-60750-944-8
ISBN (Print)	978-1-58603-412-2
DOIs	https://doi.org/10.3233/978-1-60750-944-8-103
Publication status	Published - 2004
Externally published	Yes
Event	Symposium on Computerized Guidelines and Protocols, CGP 2004 - Prague, Czech Republic Duration: 12 Apr 2004 → 14 Apr 2004

Publication series

Name	Studies in Health Technology and Informatics
Volume	101
ISSN (Print)	0926-9630
ISSN (Electronic)	1879-8365

Conference

Conference	Symposium on Computerized Guidelines and Protocols, CGP 2004
Abbreviated title	CGP
Country/Territory	Czech Republic
City	Prague
Period	12/04/04 → 14/04/04

Keywords

n/a OA procedure

Access to Document

10.3233/978-1-60750-944-8-103

Cite this

Balser, M., Coltell, O., Van Croonenborg, J., Duelli, C., Van Harmelen, F., Jovell, A., Lucas, P., Marcos, M., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A., & Ten Teije, A. (2004). Protocure: Supporting the development of medical protocols through formal methods. In Computer-Based Support for Clinical Guidelines and Protocols: Proceedings of the Symposium on Computerized Guidelines and Protocols, CGP 2004 (pp. 103-107). (Studies in Health Technology and Informatics; Vol. 101). IOS. https://doi.org/10.3233/978-1-60750-944-8-103

@inproceedings{d0e9f9acd52b4968b3a1c7baee7fea21,

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

keywords = "n/a OA procedure",

author = "Michael Balser and Oscar Coltell and {Van Croonenborg}, Joyce and Christoph Duelli and {Van Harmelen}, Frank and Albert Jovell and Peter Lucas and Mar Marcos and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang and {Ten Teije}, Annette",

year = "2004",

doi = "10.3233/978-1-60750-944-8-103",

language = "English",

isbn = "978-1-58603-412-2",

series = "Studies in Health Technology and Informatics",

publisher = "IOS",

pages = "103--107",

booktitle = "Computer-Based Support for Clinical Guidelines and Protocols",

address = "Netherlands",

note = "Symposium on Computerized Guidelines and Protocols, CGP 2004, CGP ; Conference date: 12-04-2004 Through 14-04-2004",

}

Balser, M, Coltell, O, Van Croonenborg, J, Duelli, C, Van Harmelen, F, Jovell, A, Lucas, P, Marcos, M, Miksch, S, Reif, W, Rosenbrand, K, Seyfang, A & Ten Teije, A 2004, Protocure: Supporting the development of medical protocols through formal methods. in Computer-Based Support for Clinical Guidelines and Protocols: Proceedings of the Symposium on Computerized Guidelines and Protocols, CGP 2004. Studies in Health Technology and Informatics, vol. 101, IOS, pp. 103-107, Symposium on Computerized Guidelines and Protocols, CGP 2004, Prague, Czech Republic, 12/04/04. https://doi.org/10.3233/978-1-60750-944-8-103

Protocure: Supporting the development of medical protocols through formal methods. / Balser, Michael; Coltell, Oscar; Van Croonenborg, Joyce et al.
Computer-Based Support for Clinical Guidelines and Protocols: Proceedings of the Symposium on Computerized Guidelines and Protocols, CGP 2004. IOS, 2004. p. 103-107 (Studies in Health Technology and Informatics; Vol. 101).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Protocure

T2 - Symposium on Computerized Guidelines and Protocols, CGP 2004

AU - Balser, Michael

AU - Coltell, Oscar

AU - Van Croonenborg, Joyce

AU - Duelli, Christoph

AU - Van Harmelen, Frank

AU - Jovell, Albert

AU - Lucas, Peter

AU - Marcos, Mar

AU - Miksch, Silvia

AU - Reif, Wolfgang

AU - Rosenbrand, Kitty

AU - Seyfang, Andreas

AU - Ten Teije, Annette

PY - 2004

Y1 - 2004

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

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

KW - n/a OA procedure

UR - http://www.scopus.com/inward/record.url?scp=16544371561&partnerID=8YFLogxK

U2 - 10.3233/978-1-60750-944-8-103

DO - 10.3233/978-1-60750-944-8-103

M3 - Conference contribution

C2 - 2004199351

AN - SCOPUS:16544371561

SN - 978-1-58603-412-2

T3 - Studies in Health Technology and Informatics

SP - 103

EP - 107

BT - Computer-Based Support for Clinical Guidelines and Protocols

PB - IOS

Y2 - 12 April 2004 through 14 April 2004

ER -

Balser M, Coltell O, Van Croonenborg J, Duelli C, Van Harmelen F, Jovell A et al. Protocure: Supporting the development of medical protocols through formal methods. In Computer-Based Support for Clinical Guidelines and Protocols: Proceedings of the Symposium on Computerized Guidelines and Protocols, CGP 2004. IOS. 2004. p. 103-107. (Studies in Health Technology and Informatics). doi: 10.3233/978-1-60750-944-8-103

Protocure: Supporting the development of medical protocols through formal methods

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this