Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes

  • Stefano Bragaglia
  • Federico ChesaniEmail author
  • Paola Mello
  • Marco Montali
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9521)


Clinical Guidelines (CGs) capture medical evidence and describe standardized high quality health processes. Their adoption increases the quality of the service offered by health departments, with direct advantage for treated patients. However, their application in real cases is often tempered by a number of factors like the context, the specific case itself, administrative processes, and the involved personnel. In this chapter we analyse the issues related to the problem of representing CGs in a formal way, and to reason about the differences between what is prescribed by CGs, and what is observed during their application/execution. Our approach is based on a general, abstract framework that should be flexible enough to cope with the raised issues. Possible technical solutions are also presented and their limits discussed.


Procedural Knowledge Matching Function Declarative Knowledge Execution Trace Process Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



The approaches presented in this paper are the result of discussions and collaborations with many colleagues. In particular, we would like to thank Davide Sottara, Emory Fry, Paolo Terenziani, Alessio Bottrighi, and Stefania Montani. spara This work has been partially supported by the Health Sciences and Technologies - Interdepartmental Center for Industrial Research (HST-ICIR) - University of Bologna, by the DEIS Depict Project, and by the EU FP7 IP project Optique (Scalable End-user Access to Big Data), grant agreement n. FP7-318338.


  1. 1.
    van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)zbMATHGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., et al.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  3. 3.
    Advani, A.A., Lo, K.-K., Shahar, Y.: Intention-based critiquing of guideline-oriented medical care. In: American Medical Informatics Association Annual Symposium (AMIA). AMIA (1998)Google Scholar
  4. 4.
    Balser, M., Duelli, C., Reif, W.: Formal semantics of Asbru-an overview.In: Proceedings of IDPT 2002 (2002)Google Scholar
  5. 5.
    Bottrighi, A., Chesani, F., Mello, P., Molino, G., Montali, M., Montani, S., Storari, S., Terenziani, P., Torchio, M.: A hybrid approach to clinical guideline and to basic medical knowledge conformance. In: Combi, C., Shahar, Y., Abu-Hanna, A. (eds.) AIME 2009. LNCS, vol. 5651, pp. 91–95. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Bottrighi, A., Chesani, F., Mello, P., Montali, M., Montani, S., Terenziani, P.: Conformance checking of executed clinical guidelines in presence of basic medical knowledge. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 200–211. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  7. 7.
    Bragaglia, S., Chesani, F., Fry, E., Mello, P., Montali, M., Sottara, D.: Event condition expectation (ECE-) rules for monitoring observable systems. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML - America 2011. LNCS, vol. 7018, pp. 267–281. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  8. 8.
    Chesani, F., et al.: Compliance checking of cancer-screening careflows: an approach based on computational logic. In: Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol. 139, pp. 183–192. IOS Press, Amsterdam (2008)Google Scholar
  9. 9.
    Chesani, F., Mello, P., Montali, M., Storari, S.: Testing careflow process execution conformance by translating a graphical language to computational logic. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS (LNAI), vol. 4594, pp. 479–488. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Christov, S., et al.: Formally defining medical processes. Methods Inf. Med. 47(5), 392 (2008)Google Scholar
  11. 11.
    Ciampolini, A., et al.: Using social integrity constraints for on-the-fly compliance verification of medical protocols. In: Proceedings of the 18th IEEE Symposium on Computer Based Medical Systems (CBMS 2005), pp. 503–505. IEEE Computer Society Press (2005)Google Scholar
  12. 12.
    Fridsma, D.B. (Guest ed.): Special issue on workflow management and clinical guidelines. JAMIA 22(1), 1–80 (2001)Google Scholar
  13. 13.
    Depaire, B., Swinnen, J., Jans, M., Vanhoof, K.: A process deviation analysis framework. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 701–706. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  14. 14.
    Field, M.J., Lohr, K.N. (eds.): Committee to advise the public health service on clinical practice guidelines. Clinical Practice Guidelines: Directions for a New Program. The National Academies Press, 1990Google Scholar
  15. 15.
    Grando, M.A., van der Aalst, W.M.P., Mans, R.S.: Reusing a declarative specification to check the conformance of different CIGs. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 188–199. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  16. 16.
    Grando, M.A., Schonenberg, M.H., van der Aalst, W.M.P.: Semantic process mining for the verification of medical recommendations. In: 4th International Conference on Health Informatics (HEALTHINF), pp. 5–16 (2011)Google Scholar
  17. 17.
    Groot, P., et al.: Using model checking for critiquing based on clinical guidelines. Artif. Intell. Med. 46(1), 19–36 (2009)CrossRefGoogle Scholar
  18. 18.
    Hutchinson, A., et al.: Towards efficient guidelines: how to monitor guideline use in primary care. Health Technol. Assess. 7(18) (2003)Google Scholar
  19. 19.
    Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Gener. Comput. 4(1), 67–98 (1986)CrossRefGoogle Scholar
  20. 20.
    Kroes, P., et al.: Treating socio-technical systems as engineering systems: some conceptual problems. Syst. Res. Behav. Sci. 23(6), 803–814 (2006)CrossRefGoogle Scholar
  21. 21.
    Mans, R.S., van der Aalst, W.M.P., Vanwersch, R.J.B., Moleman, A.J.: Process mining in healthcare: data challenges when answering frequently posed questions. In: Lenz, R., Miksch, S., Peleg, M., Reichert, M., Riaño, D., ten Teije, A. (eds.) ProHealth 2012 and KR4HC 2012. LNCS, vol. 7738, pp. 140–153. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  22. 22.
    Mulyar, N., van der Aalst, W.M.P., Peleg, M.: A pattern-based analysis of clinical computer-interpretable guideline modelling languages. J. Am. Med. Inform. Assoc. 14, 781–787 (2007)CrossRefGoogle Scholar
  23. 23.
    Quaglini, S.: Compliance with clinical practice guidelines. Stud. Health Technol. Inform. 139, 160–179 (2008)Google Scholar
  24. 24.
    Quaglini, S.: Compliance with clinical practice guidelines. In: Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol. 139, pp. 160–179. IOS Press, Amsterdam (2008)Google Scholar
  25. 25.
    Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  26. 26.
    Sottara, D., Mello, P., Proctor, M.: A configurable rete-oo engine for reasoning with different types of imperfect information. IEEE Trans. Knowl. Data Eng. 22(11), 1535–1548 (2010)CrossRefGoogle Scholar
  27. 27.
    Spiotta, M., Bottrighi, A., Giordano, L., Dupré, D.T.: Conformance analysis of the execution of clinical guidelines with basic medical knowledge and clinical terminology. In: Miksch, S., Riano, D., Teije, A. (eds.) KR4HC 2014. LNCS, vol. 8903, pp. 62–77. Springer, Heidelberg (2014)Google Scholar
  28. 28.
    Sutton, D.R., Fox, J.: The syntax and semantics of the proforma guideline modelling language. J. Am. Med. Inform. Assoc. 10(5), 433–443 (2003)CrossRefGoogle Scholar
  29. 29.
    Ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol. 139. IOS Press, Amsterdam (2008)Google Scholar
  30. 30.
    Terenziani, P., et al.: Applying artificial intelligence to clinical guidelines: the GLARE approach. In: Ten Teije, A., Miksch, S., Lucas, P. (eds.) Studies in Health Technology and Informatics, vol. 139, pp. 273–282. IOS Press, Amsterdam (2008)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Stefano Bragaglia
    • 1
  • Federico Chesani
    • 1
    Email author
  • Paola Mello
    • 1
  • Marco Montali
    • 2
  1. 1.Department of Computer Science and EngineeringUniversity of BolognaBolognaItaly
  2. 2.KRDB Research CentreFree University of Bozen-BolzanoBolzanoItaly

Personalised recommendations