PROTOCURE - resources & publications

Deliverables
Meetings
Publications
Reference protocols
Resources
Useful links

Back to

Deliverables

Deliverable D0-Project presentation: deliverable and slides
Deliverable D1-Reference protocols and their Asbru models
Deliverable D2-Formal semantics of main Asbru elements
Deliverable D3-Desirable/required properties of main Asbru elements
Deliverable D3'-KIV formalisation: deliverable (~3 Mb)
Deliverable D4-Verification of properties on the reference protocols
Deliverable D5-Evaluation of results

Back to top

Meetings

Review meeting: Brussels - February 2003
Final meeting: Amsterdam - November 2002
Past meetings:

Back to top

Publications

Protocure contributions to the 9th European Conference on Artificial Intelligence in Medicine (AIME-03):
- Experiences in the formalisation and verification of medical protocols. M. Marcos, M. Balser, A. ten Teije, F. van Harmelen and C. Duelli.
- Informal and formal medical guidelines: Bridging the gap. M. Geldof, A. ten Teije, F. van Harmelen, M. Marcos and P. Votruba.
- Linking Clinical Guidelines with Formal Representations. P. Votruba, S. Miksch, R. Kosara.
Combining Diagnosis and Treatment Using Asbru. A. Seyfang, S. Miksch and M. Marcos. International Journal of Medical Informatics, Vol. 68 (1-3), pages 49-57, December 2002.
From informal knowledge to formal logic: a realistic case study in medical protocols. M. Marcos, M. Balser, A. ten Teije and F. van Harmelen. 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW-02), October 2002.
Protocure contributions to the session on Formal Methods in Healthcare, held within the 6th World Conference on Integrated Design & Process Technology (IDPT 2002), June 2002:
- Formal Semantics of Asbru-An Overview. M. Balser, C. Duelli and W. Reif
- Improving medical protocols through formalisation: a case study. M. Marcos, H. Roomans, A. ten Teije and F. van Harmelen.
- Tools for Acquiring Clinical Guidelines in Asbru. R. Kosara, S. Miksch, A. Seyfang and P. Votruba.

Back to top

Reference protocols

The following medical protocols have been selected as reference protocols for this Protocure project:

[1] American Academy of Pediatrics, Provisional Committee for Quality Improvement and Subcommittee on Hyperbilirubinemia. Practice parameter: management of hyperbilirubinemia in the healthy term newborn. Pediatrics, 94:558-565, 1994.
Protocol included in the repository of the National Guideline Clearinghouse.

[2] G.E.H.M. Rutten, S. Verhoeven, R.J. Heine, W.J.C. de Grauw, P.V.M. Cromme, K. Reenders, E. van Ballegooie, and T. Wiersma. NHG-Standaard Diabetes Mellitus Type 2 (eerste herziening). Huisarts en Wetenschap, 42(2):67-85, 1999.
Protocol (in Dutch) developed by the Dutch Association of General Practitioners (NHG-Nederlands Huisartsen Genootschap).

Asbru version of the reference protocols

Jaundice protocol [1]:
- XML file (version of Aug 28 2002) and PDF file.
- XML file (version of Apr 24 2002) and PDF file.
- XML file (version of Mar 4 2002) and HTML file.
Diabetes protocol [2]:
- XML file (version of Aug 28 2002) and PDF file.
- XML file (version of May 24 2002) and PDF file.
- XML file (version of Apr 5 2002) and HTML file.

Note on XML files: The Asbru DTD that has been used to build these files corresponds to the Asbru 7.2 syntax.

Note on PDF and HTML files: due to the continuous changes in the stylesheets, there might be XML elements that are not properly translated (or not translated at all), particularly in the HTML versions.

KIV formalisation of the reference protocols

Jaundice protocol [1]: gzipped tar file of KIV project (see here the list of proofs currently in progress).
Diabetes protocol [2]: gzipped tar file of KIV project.

Back to top