Verification of clinical guidelines by model checking

Proceedings - IEEE Symposium on Computer-Based Medical Systems

Volumn , Issue , 2008, Pages 114-119

  Pérez, Beatriz ^a   Porres, Ivan ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; HEALTH; HEALTH CARE; LINGUISTICS; TECHNICAL PRESENTATIONS; UNIFIED MODELING LANGUAGE;

CLINICAL GUIDELINES; COMPUTER-BASED MEDICAL SYSTEMS; INTERNATIONAL SYMPOSIUM; MODEL-CHECKING TECHNIQUES; SPIN MODELS; UML MODELING;

MODEL CHECKING;

EID: 51849119337     PISSN: 10637125     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CBMS.2008.86     Document Type: Conference Paper

References (29)

1. Institute of Medicine. Guidelines for Clinical Practice: from Development to Use. Field MJ E Lohr KN, editor. Washington, D.C. National Academy Press, 1992.
2. Papadopoulos C. The development of Canadian clinical practice guidelines: a literature review and synthesis of findings. J. Can. Chiropr. Assoc., 47(1):39-57, 2003.
3. National Guideline Clearinghouse. Guidelines for the prevention of intravascular catheter-related infections. Available at http://www. guideline.gov.
4. SEIMC Sociedad Española de Enfermedades Infecciosas y Microbiología Clínica [On-line], Documentos científicos. Available at http://www.seimc.org/documentos/. Last visited: January 2008.
5. OpenClinical. Methods and tools for representing computerised clinical guidelines. Available at http://www.openclinical.org.Last visited: January 2008.
6. ten Teije A, et al. Improving medical protocols by formal methods. Artif Intell Med, 36(3):193-209, 2006.
7. Marcos M, et al. Experiences in the formalisation and verification of medical protocols. In AIME'03, LNCS 2780, pages 132-141, 2003.
8. Bäumler S, Balser M, Dunets A, Reif W, Schmitt J. Verification of Medical Guidelines by Model Checking - A Case Study. In SPIN, pages 219-233, 2006.
9. Giordano L, et al. Model checking for clinical guidelines: an agent-based approach. In AMIA Annu Symp Proc., 2006.
10. Duftschmid G. Knowledge-based verification of clinical guidelines by detection of anomalies. PhD Dissertation, University of Vienna, 1999.
11. Domínguez E, Pérez B, Rodríguez A, Zapata MA. Protocolos médicos para la toma de decisiones en un contexto de computación ubicua. Novática, 177:38-41. Sept-Oct 2005.
12. OMG. UML 2.0 Superstructure Specification; 2005. Document formal/05-07-04. Available at http://www.omg.org/. Last visited: January 2008.
13. Porres I, Domínguez E, Pérez B, Rodríguez A, Zapata MA. A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. In Proceedings of the Engineering of Computer-Based Systems, (ECBS 2008), 2008. Accepted for publication.
14. Porres I, Domínguez E, Pérez B, Rodríguez A, Zapata MA. Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. In Proceedings of the CAiSE'07Forum. Trondheim, Norway, June 2007.
15. OMG. Model Driven Architecture; 2003. Document omg/2003-06-01. Available at http://www.omg.org/.Last visited: January 2008.
16. SPIN and PROMELA reference manual. Website, http://spinroot.com/spin/ whatispin.html. Last visit-ed: January 2008.
17. Uribe TE. Combinations of Model Checking and Theorem Proving. In Procs. of the Third International Workshop on Frontiers of Combining Systems (FroCoS 2000), LNCS 1794, pages 151-170, Nancy, France, 2000.
18. Clarke EM, Jr OG, Peled DA. Model Checking. Cambridge, Massachusetts: The MIT Press; 2001.
19. Kong W, Seino T, Futatsugi K, Ogata K. A Lightweight Integration of Theorem Proving and Model Checking for System Verification. In APSEC, pages 59-66. IEEE, 2005.
20. Pantelic V, et al. Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. In Procs. of Software Engineering Research and Practice (SERP), pages 629-635. CSREA Press, 2006.
21. Pnueli A. The Temporal Logic of Programs. In Procs. of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pages 46-57. IEEE, 1977.
22. 2a), pages 94-110, Genova, Italy, 2006.
23. Knapp A, Merz S. Model Checking and Code Generation for UML State Machines and Collaborations. In FM-TOOLS 2002, Report 2002-11. Universität Augsburg, 2002.
24. Mikk E. Semantics and Verification of Statecharts. PhD Dissertation, University of Kiel, 2000.
25. Porres I. Modeling and Analyzing Software Behavior in UML. PhD Dissertation, Åbo Akademi, 2001.
26. MOFScript plug-in. Website, http://www.eclipse.org/gmt/mofscript. Last visited: January 2008.
27. The Eclipse Modeling Framework. Website, http://www.eclipse.org/emf.Last visited: January 2008.
28. EMF-based UML 2.0 Metamodel Implementation. The Eclipse UML2 project website, http://www.eclipse.org/uml2. Last visited: January 2008.
29. Borland Together 2006 Release 2 for Eclipse. Website http://www.borland. com/together.