TAT-based formal representation of medical guidelines: Imatinib case-study

Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study.

[1]  Omolola Ogunyemi,et al.  GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines , 2004, J. Biomed. Informatics.

[2]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[3]  Nick Booth,et al.  Using scenarios in chronic disease management guidelines for primary care , 2000, AMIA.

[4]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[5]  Simona Soverini,et al.  Response definitions and European Leukemianet Management recommendations. , 2009, Best practice & research. Clinical haematology.

[6]  Alessio Bottrighi,et al.  The GLARE Approach to Clinical Guidelines: Main Features , 2004, CGP.

[7]  Giovanni De Micheli,et al.  Example-based support vector machine for drug concentration analysis , 2011, 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[8]  Paul Taylor,et al.  Evaluation of PROforma as a language for implementing medical guidelines in a practical context , 2006, BMC Medical Informatics Decis. Mak..

[9]  Yi Zhang,et al.  Safety-assured development of the GPCA infusion pump software , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[10]  James R. Campbell,et al.  Synthesis of Research Paper: The SAGE Guideline Model: Achievements and Overview , 2007, J. Am. Medical Informatics Assoc..

[11]  Orna Kupferman,et al.  Module Checking Revisited , 1997, CAV.

[12]  Yuval Shahar,et al.  Multi-Level Verification of Clinical Protocols , 1998, EUROVAV.

[13]  Samson W. Tu,et al.  Modeling Data and Knowledge in the EON Guideline Architecture , 2001, MedInfo.

[14]  D. Levine,et al.  Therapeutic monitoring of vancomycin in adult patients: a consensus review of the American Society of Health-System Pharmacists, the Infectious Diseases Society of America, and the Society of Infectious Diseases Pharmacists. , 2009, American journal of health-system pharmacy : AJHP : official journal of the American Society of Health-System Pharmacists.

[15]  Wang Yi,et al.  Code Synthesis for Timed Automata , 2003 .

[16]  Insup Lee,et al.  Toward patient safety in closed-loop medical device systems , 2010, ICCPS '10.

[17]  Ivan Porres,et al.  A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[18]  Jacques Fellay,et al.  Population pharmacokinetics and effects of efavirenz in patients with human immunodeficiency virus infection , 2003, Clinical pharmacology and therapeutics.

[19]  Michael Barras,et al.  Therapeutic monitoring of vancomycin in adult patients: a consensus review of the American Society of Health-System Pharmacists, the Infectious Diseases Society of America, and the Society Of Infectious Diseases Pharmacists. , 2010, The Clinical biochemist. Reviews.