A model driven approach to automate the implementation of clinical guidelines in decision support systems

Proceedings - Fifteenth IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2008

Volumn , Issue , 2008, Pages 210-218

  Porres, Ivan ^a   Domínguez, Eladio ^b   Pérez, Beatriz ^b   Rodríguez, Áurea ^b   Zapata, María A ^b  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CLINICAL GUIDELINES; STATECHART LANGUAGES;

AUTOMATION; DECISION MAKING; FORMAL LANGUAGES; HEALTH CARE; MATHEMATICAL MODELS;

DECISION SUPPORT SYSTEMS;

EID: 44149111646     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2008.35     Document Type: Conference Paper

References (48)

1. Agency for Healthcare Research and Quality. National Guideline Clearinghouse [On-line], Guidelines for the prevention of intravascular catheter-related infections. Available at http://www.guideline.gov. Last visited: January 2008.
2. M. Baiser, C. Duelli, and W. Reif. Formal semantics of Asbru - an overview. In B. K. H. Ehrig and e. A. Ertas, editors, Proc. of the 6th Biennial World Conference on Integrated Design and Process Technology (IDPT-02), pages 1-8, Society for Design and Process Science, USA, 2002.
3. L. Baresi, F. Consorti, M. D. Paola, A. Gargiulo, and M. Pezzè. LEMMA: A Language for Easy Medical Model Analysis. Journal of Medical Systems- Plenum Publishing Co., 21(6):369-388,1997.
4. Borland Together 2006 Release 2 for Eclipse. Website http://www.borland. com/together. Last visited: January 2008.
5. E. Bouza, J. Liares, and A. Pascual. Diagnóstico microbiológico de las infecciones asociadas a catéteres intravasculares. In R. C. e. E. Cercenado, editor, Procedimientos en Microbiología Clínica. Sociedad Española de Enfermedades Infecciosas y Microbiología Clínica, 2004. Available at http://www.seimc.org/ documentos/protocolos/microbiologia/. Last visited: January 2008.
6. E. Domínguez, A. D. Miguel, B. Pérez, A. Rodríguez, and M. A. Zapata. Sistemas de información hospitalaria en el contexto de la computación ubicua. In Actas del II Congreso Iberoamericano sobre Computación Ubicua [CICU 06], pages 147-156, Alcalá de Henares, Madrid, Junio 2006.
7. E. Domínguez, B. Pérez, A. Rodríguez, and M. A. Zapata. Protocolos médicos para la toma de decisiones en un contexto de computación ubicua. Novática, 177:38-41, Sept-Oct 2005.
8. E. Domínguez, A. L. Rubio, and M. A. Zapata. A Way of Dealing with Behaviour of State Machines. In Proceedings of the UML 2000 Workshop: Dynamic Behaviour in UML Models: Semantic Questions, pages 32-37, 2000.
9. E. Domínguez, A. L. Rubio, and M. A. Zapata. Dynamic Semantics of UML State Machines: A Metamodeling Perspective. J. Database Manag., 13(4):20-38, 2002.
10. Eclipse Generative Modeling Tools (GMT). Website http : //www.eclipse.org/gmt. Last visited: January 2008.
11. S. Efroni, D. Harel, and I. R. Cohen. Toward rigorous comprehension of biological complexity: modeling, execution, and visualisation of thymic T-cell maturation. Genome Research, 13(11):2485-2497, 2003.
12. P. L. Elkin, M. Peleg, R. Lacson, E. Bernstam, S. Tu, A. Boxwala, R. A. Greenes, and E. H. Shortliffe. Toward Standardization of Electronic Guideline Representation. MD Computing, 17(6):39-44, 2000.
13. EMF-based UML 2.0 Metamodel Implementation. The Eclipse UML2 project website, http://www.eclipse. org/um12. Last visited: January 2008.
14. EMF Development team. The Eclipse Modeling Framework website, http://www.eclipse.org/emf.Last visited: January 2008.
15. R. B. France, S. Ghosh, T. Dinh-Trong, and A. Solberg. Model-driven development using uml 2.0: Promises and pitfalls. IEEE Computer, 39(2):59, 2006.
16. S. Gnesi, D. Latella, and M. Massink. Model Checking UML Statechart Diagrams using JACK. In R. Paul and C. Meadows, editors, Proc. of the Fourth IEEE International Symposium on High Assurance Systems Engineering. IEEE, 1999.
17. M. Humber, H. Butterworth, J. Fox, and R. Thomson. Medical Decision Support via the Internet: PROforma and Solo. Proc. Medinfo 2001, pages 464-469, 2001.
18. Institute of Medicine. Guidelines for Clinical Practice: from Development to Use. Washington, D.C. National Academy Press, 1992.
19. Y. Jin, R. Esser, and J. W. Janneck. A method for describing the syntax and semantics of UML Statecharts. Software and System Modeling, 3(2): 150-163, 2004.
20. N. Kam, I. R. Cohen, and D. Harel. The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. In Proc. Visual Languages and Formal Methods (VLFM'01), part of IEEE Symp. on Human-Centric Computing (HCC'01), pages 15-22, 2001.
21. C. Leon and J. Ariza. Guías para el tratamiento de las infecciones relacionadas con catéteres intravasculares de corta permanencia en adultos: conferencia de consenso SEIMC-SEMICYUC. Enferm. Infecc. Microbiol. Clin., 22(2):92-101, 2004.
22. J. Lilius and I. Porres. vUML: A Tool for Verifying UML Models. In The 14th IEEE International Conference on Automated Software Engineering, Cocoa Beach, Florida, Oct 1999. IEEE Computer Society.
23. MODELWARE project. Modelling Solution for Software Systems. Website http://www.modelware-ist.org/. Last visited: January 2008.
24. MOFScript Eclipse plug in. Website, http ://www. eclipse.org/gmt/ mofscript. Last visited: January 2008.
25. M. Moser and S. Miksch. Improving Clinical Guideline Implementation Through Prototypical Design Patterns. In S. Miksch, J. Hunter, and E. T. K. (eds.), editors, Proceedings of the 10th Conference on Artificial Intelligence in Medicine (AIME 2005), Springer-Verlag GmbH, pages 126-130, 2005.
26. L. Ohno-Machado, J. Gennari, S.Ñ. Murphy, and et al. The GuideLine Interchange Format: A Model for Representing Guidelines. Journal of the American Medical Informatics Association, 5(4):357-372, 1998.
27. J. Oldevik. MOFScript Eclipse Plug-In: Metamodel-Based Code Generation. In Proceedings of the Eclipse Technology eXchange workshop (eTX) at the ECOOP 2006 Conference, Nantes, France, 2006.
28. OMG. Mofscript Second Revised Submission to the MOF Model to Text Transformation RFP. OMG document ad/2005-11-03. Available at http://www.omg.org/. Last visited: January 2008.
29. OMG. OMG Model Driven Architecture, June 2003. Document omg/2003-06-01. Available at http://www.omg. org/.Last visited: January 2008.
30. OMG. UML 2.0 Superstructure Specification, August 2005. Document formal/05-07-04. Available at http ://www. omg.org/.Last visited: January 2008.
31. OpenClinical. Methods and tools for representing computerised clinical guidelines, http ://www. openclinical.org/gmmsummaries.html. Last visited: January 2008.
32. C. Papadopoulos. The development of Canadian clinical practice guidelines: a literature review and synthesis of findings. J. Can. Chiropr. Assoc., 47(1):39-57, 2003.
33. B. Pérez and I. Porres. Verification of Clinical Guidelines by Model Checking. 2008.
34. I. Porres, E. Domínguez, B. Pérez, A. Rodríguez, and M. A. Zapata. Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. In Proceedings of the CAiSE'07 Forum, Trondheim, Norway, June 2007.
35. B. Selic. The Pragmatics of Model-Driven Development. IEEE Software, 20(5): 19-25, 2003.
36. Y. Shahar, S. Miksch, and P. Johnson. The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine, 14(1-2):29-51, 1998.
37. R.Ñ. Shiffman, A. Agrawal, A. M. Deshpande, and P. Gershkovich. An approach to guideline implementation with GEM. Proceedings Medinfo 2001,10(Pt 1):271-5, 2001.
38. R.Ñ. Shiffman and G. Michel. Toward improved guideline quality: using the COGS statement with GEM. Proceedings Medinfo 2004, 11(Pt 1):159-63, 2004.
39. Society for Medical Decision Making Committee of Standardization of Clinical Algorithms. Proposal for Clinical Algorithm Standards. Medical Decision Making, 12(2):149-154, 1992.
40. D. R. Sutton and J. Fox. The Syntax and Semantics of the PROforma guideline modelling language. J Am Med Inform Assoc., 10(5):433-43, Sept-Oct 2003.
41. A. ten Teije, M. Marcos, M. Baiser, J. van Croonenborg, C. Duelli, F. van Harmelen, P. Lucas, S. Miksch, W. Reif, K. Rosenbrand, and A. Seyfang. Improving medical protocols by formal methods. Artificial Intelligence in Medicine, 36(3):193-209, 2006.
42. P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, and G. Correndo. A Context-adaptable Approach to Clinical Guidelines. Proceedings Medinfo 2004, pages 169-73, 2004.
43. P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, and G. Correndo. The GLARE approach to Clinical Guidelines: main features. Stud. Health. Technol. Inform., 101:162-166, 2004.
44. S. W. Tu and M. A. Musen. Modeling Data and Knowledge in the EON Guideline Architecture. Proc. MedInfo 2001, pages 280-284, 2001.
45. D. Wang, M. Peleg, S. W. Tu, A. Boxwala, O. Ogunyemi, Q. Zeng, R. A. Greenes, V. L. Patel, and E. H. Shortliffe. Design and implementation of the GLIF3 guideline execution engine. J. of Biomedical Informatics, 37(5):305-318, 2004.
46. J. Watine, B. Friedberg, E.Ñagy, R. Onody, W. Oosterhuis, P. S. Bunting, J. C. Charet, and A. R. Horvath. Conflict between Guideline Methodologie Quality and Recommendation Validity: A Potential Problem for Practitioners. Clinical Chemistry, 52(1):65-72, January 1 2006.
47. J. Whittle and J. Schumann. Statechart Synthesis from Scenarios: an Air Traffic Control: Case Study. In Workshop on Scenarios and State Machines at ICSE2002, 2002.
48. O. Young and Y Shahar. Spock: a hybrid model for runtime application of asbru clinical guidelines. In Proceedings of MEDINFO-2004, the Eleventh World Congress on Medical Informatics, 2004.