Adopting model checking techniques for clinical guidelines verification

References 

1. Overhage JM, Tierney WM, Zhou XH, McDonald CJ. A randomized trial of “corollary orders” to prevent errors of omission. Journal of the American Medical Informatics Association. 1997;4(5):364–375
2. tenTeije A, Marcos M, Balser M, van Croonenborg J, Duelli C, van Harmelen F, et al. Improving medical protocols by formal methods. Artificial Intelligence in Medicine. 2006;36(3):193–209
   • Abstract
   • Full Text
   • Full-Text PDF (589 KB)
   • CrossRef
3. Musen MA, Rohn JA, Fragan LM, Shortliffe EH. Knowledge engineering for a clinical trial advice system: uncovering errors in protocol specifications. Bull Cancer. 1987;74:291–296
   • MEDLINE
4. Shahar Y, Miksch S, Johnson P. The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine. 1998;14(1–2):29–51
   • Abstract
   • Full Text
   • Full-Text PDF (966 KB)
   • CrossRef
5. Musen MA, Tu SW, Das AK, Shahar Y. Eon: a component-based approach to automation of protocol-directed therapy. Journal of the American Medical Informatics Association. 1996;6(3):367–388
6. Shiffman RN, Karras BT, Agrawal A, Menco L, Chen R, Nath S. GEM: a proposal for a more comprehensive guideline document model using xml. Journal of the American Medical Informatics Association. 2000;7(5):488–498
7. Terenziani P, Molino G, Torchio M. A modular approach for representing and executing clinical guidelines. Artificial Intelligence in Medicine. 2001;23(3):249–276
   • Abstract
   • Full Text
   • Full-Text PDF (384 KB)
   • CrossRef
8. Terenziani P, Montani S, Bottrighi A, Molino G, Torchio M. Applying artificial intelligence to clinical guidelines: the GLARE approach. In:  Ten Teije A,  Miksch S,  Lucas P editor. Computer-based medical guidelines and protocols: a primer and current trends. Amsterdam: IOS Press; 2008;p. 273–282
9. Peleg M, Boxwala AA, Ogunyemi O, Zeng Q, Tu S, Lacson R, et al. Glif3: the evolution of a guideline representation format. In: Proceedings of the American Medical Informatics Association annual symposium 2000. 2000;p. 645–649
10. Quaglini S, Stefanelli M, Lanzola G, Caporusso V, Panzarasa S. Flexible guideline-based patient careflow systems. Artificial Intelligence in Medicine. 2001;22(1):65–80
    • Abstract
    • Full Text
    • Full-Text PDF (759 KB)
    • CrossRef
11. Fox J, Johns N, Rahmanzadeh A, Thomson R. Disseminating medical knowledge: the PROforma approach. Artificial Intelligence in Medicine. 1998;14(1–2):157–182
    • Abstract
    • Full Text
    • Full-Text PDF (797 KB)
    • CrossRef
12. In:  Gordon C,  Christensen JP editor. Health telematics for clinical guidelines and protocols. Amsterdam: IOS Press; 1995;
13. Fridsma DB (Guest Ed.). Special issue on workflow management and clinical guidelines. Journal of the American Medical Informatics Association, 2001;1(22):1–80.
14. In:  Ten Teije A,  Miksch S,  Lucas P editor. Computer-based medical guidelines and protocols: a primer and current trends. Amsterdam: IOS Press; 2008;
15. Duftschmid G, Miksch S, Gall W. Verification of temporal scheduling constraints in clinical practice guidelines. Artificial Intelligence in Medicine. 2002;25(2):93–121
    • Abstract
    • Full Text
    • Full-Text PDF (702 KB)
    • CrossRef
16. Anselma L, Terenziani P, Montani S, Bottrighi A. Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines. Artificial Intelligence in Medicine. 2006;38(2):171–195
    • Abstract
    • Full Text
    • Full-Text PDF (2460 KB)
    • CrossRef
17. Peleg M, Tu S, Bury J, Ciccarese P, Fox J, Greenes RA, et al. Comparing computer-interpretable Guideline models: a case-study approach. Journal of the American Medical Informatics Association. 2003;10(1):52–68
18. Clarke EM, Grunberg O, Peled DA. Model Checking. Cambridge, MA: MIT Press; 2000;
19. Marcos M, Balser M, ten Teije A, VanHarmelen F, Duelli C. Experiences in the formalization and verification of medical protocols. In: Proceedings of 9th conference on artificial intelligence in medicine in Europe, lecture notes in computer science 2780. Berlin: Springer; 2003;p. 132–141
20. Baumler S, Balser M, Dunets A, Reif W, Schmitt J. A verification of medical guidelines by model checking—a case study. In: Proceedings of the 13th International SPIN Workshop, lecture notes in computer science 3925. Berlin: Springer; 2006;p. 219–233
21. Giordano L, Martelli A, Terenziani P, Bottrighi A, Montani S. A temporal approach to the specification and verification of Interaction Protocols. In:  De Paoli F,  Merelli E,  Omicini A editor. Proceedings of workshop from objects to agents 2005, Corradini. Bologna: Pitagora Editrice; 2005;p. 171–176
22. Terenziani P, Giordano L, Bottrighi A, Montani S, Donzella L. SPIN Model checking for the verification of clinical guidelines. In: ECAI 2006 workshop on AI techniques in healthcare: evidence-based guidelines and protocols. 2006;p. 101–106
23. Terenziani P, Giordano L, Bottrighi A, Montani S, Donzella L. Model checking for clinical guidelines: an agent-based approach. In: Proceedings of the American Medical Informatics Association annual symposium 2006. 2006;p. 289–293
24. Halpern JY, Vardi MY. Model checking vs. theorem proving: a manifesto. In:  Allen JA,  Fikes R,  Sandewall E editor. Proc. principles of knowledge representation and reasoning: proceedings of the second international conference. San Mateo, California: Morgan Kaufmann; 1991;p. 325–334
25. Holzmann GJ. The SPIN Model checker. Primer and reference manual. Boston, MA: Addison-Wesley; 2003;
26. Montani S, Terenziani P. Exploiting decision theory concepts within clinical guideline systems: towards a general approach. International Journal of Intelligent Systems. 1996;21(6):585–599
27. Allen Emerson E. Temporal and modal logic. In:  van Leeuwen J editors. Handbook of theoretical computer science. Formal models and semantics (B). vol. B:Cambridge, MA: Elsevier and MIT Press; 1990;p. 995–1072
28. Alberti M, Ciampolini A, Chesani F, Gavanelli M, Mello P, Montali M, et al. Protocol specification and verification by using computational logic. In:  De Paoli F,  Merelli E,  Omicini A editor. Proceedings of workshop from objects to agents 2005, Corradini. Bologna: Pitagora Editrice; 2005;p. 184–192
29. D4.3 Model checking of selected guideline properties. Technical Report of the project Protocure II. http://www.keg.uji.es/deliverables/D43-model-checking-guideline-properties.pdf [URL last accessed on 22/05/2009].
30. McMillan KL. Symbolic model checking. Norwell, MA: Kluwer Academic Publisher; 1993;
31. D4.2c Formal verification of selected guideline properties. Technical Report of the project Protocure II. http://www.keg.uji.es/deliverables/D42c-formal-verification-guideline-properties.pdf [URL last accessed on 22/05/2009].
32. Vardi MY. Branching vs. linear time: final showdown. In: Proceedings of tools and algorithms for the construction and analysis of systems 2001, lecture notes in computer science 2031. Berlin: Springer; 2001;p. 1–22
33. Sutton DR, Fox J. The syntax and semantics of the PROforma guideline modeling language. Journal of the American Medical Informatics Association. 2003;10(5):433–443
34. Parker CG, Rocha RA, Campbell JR, Tu SW, Huff SM. Detailed clinical models for sharable, executable guidelines. In:  Fieschi M, et al. editor. Proceedings of MedInfo (World Congress for Health Informatics) 2004. Amsterdam: IOS Press; 2004;p. 145–148
35. Balser M, Duelli C, Reif W. Formal semantics of Asbru—an overview. In: Proceedings of integrated design and process technology (IDPT-02). Society for Design and Process Science; 2002;p. 1–8
36. Terenziani P, German E, Shahar Y. The temporal aspects of clinical guidelines. In:  Ten Teije A,  Miksch S,  Lucas P editor. Computer-based medical guidelines and protocols: a primer and current trends. Amsterdam: IOS Press; 2008;p. 81–100
37. Groot P, Hommersom A, Lucas P, Serban R, ten Teije A, van Harmelen F. The role of model checking in critiquing based on clinical guidelines. In: Proceedings of 11th conference on artificial intelligence in medicine in Europe, lecture notes in computer science 4594. Berlin: Springer; 2007;p. 411–420