A Control Flow Prototype for a Dose Recommending Device for Chronic Myeloid Leukemia Patients

In this paper we present a prototype of a control flow for an a posteriori drug dose adaptation for Chronic Myelogenous Leukemia (CML) patients. The control flow is modeled using Timed Automata extended with Tasks (TAT) model. The feedback loop of the control flow includes the decision-making process for drug dose adaptation. This is based on the outputs of the body response model represented by the Support Vector Machine (SVM) algorithm for drug concentration prediction. The decision is further checked for conformity with the dose level rules of a medical guideline. We also have developed an automatic code synthesizer for the icycom platform as an extension of the TIMES tool.

[1]  Giovanni De Micheli,et al.  Personalized modeling for drug concentration prediction using Support Vector Machine , 2011, 2011 4th International Conference on Biomedical Engineering and Informatics (BMEI).

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

[3]  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.

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

[5]  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).

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

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

[8]  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.

[9]  Laura Giordano,et al.  Adopting model checking techniques for clinical guidelines verification , 2010, Artif. Intell. Medicine.

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

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

[12]  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).

[13]  Ivan Porres,et al.  Authoring and verification of clinical guidelines: A model driven approach , 2010, J. Biomed. Informatics.

[14]  Giovanni De Micheli,et al.  TAT-based formal representation of medical guidelines: Imatinib case-study , 2012, 2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

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

[16]  T. Buclin,et al.  Population pharmacokinetics of imatinib and the role of alpha-acid glycoprotein. , 2006, British journal of clinical pharmacology.

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

[18]  Giovanni De Micheli,et al.  Medical guidelines reconciling medical software and electronic devices: Imatinib case-study , 2012, 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE).

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

[20]  Nicolas Widmer,et al.  Population pharmacokinetics of imatinib and the role of alpha-acid glycoprotein. , 2006, British journal of clinical pharmacology.

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

[22]  Giovanni De Micheli,et al.  RANSAC-based Enhancement in Drug Concentration Prediction Using Support Vector Machine , 2012 .

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