A constraint-based approach to medical guidelines and protocols.

Medical guidelines and protocols are documents aimed at improving the quality of medical care by offering support in medical decision making in the form of management recommendations based on scientific evidence. Whereas medical guidelines are intended for nation-wide use, and thus omit medical management details that may differ among hospitals, medical protocols are aimed at local use, e.g., within hospitals, and, therefore, include more detailed information. Although a medical guideline and an associated protocol concerning the management of a particular disorder are related to each other, one question is to what extent they are different. Formal methods are applied to shed light on this issue. A Dutch medical guideline regarding the treatment of breast cancer, and a Dutch protocol based on it, are taken as an example.

[1]  Peter J. F. Lucas,et al.  Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving , 2004, JELIA.

[2]  Edmund M. Clarke,et al.  Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.

[3]  Stephan Merz,et al.  Model Checking , 2000 .

[4]  Leslie Lamport.  The ‘Hoare logic’ of concurrent programs , 2004, Acta Informatica.

[5]  John Fox,et al.  PROforma: a general technology for clinical decision support systems. , 1997, Computer methods and programs in biomedicine.

[6]  Yuval Shahar,et al.  The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines , 1998, Artif. Intell. Medicine.

[7]  Frank van Harmelen,et al.  From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols , 2002, EKAW.

[8]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[9]  Frank van Harmelen,et al.  Improving medical protocols by formal methods , 2006, Artif. Intell. Medicine.

[10]  T. A. Barneveld,et al.  Evidence-Based Richtlijnontwikkeling , 2003 .

[11]  C. Compton,et al.  AJCC Cancer Staging Manual , 2002, Springer New York.

[12]  H. Iwase,et al.  [Breast cancer]. , 2006, Nihon rinsho. Japanese journal of clinical medicine.

[13]  M. Field,et al.  Clinical practice guidelines : directions for a new program , 1990 .

[14]  Peter J. F. Lucas,et al.  Verification of Medical Guidelines Using Background Knowledge in Task Networks , 2007, IEEE Transactions on Knowledge and Data Engineering.

[15]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.

[16]  Andriy Dunets,et al.  Verification of Medical Guidelines by Model Checking - A Case Study , 2006, SPIN.

[17]  Peter J. F. Lucas,et al.  Verification of Medical Guidelines Using Task Execution with Background Knowledge , 2006, ECAI.