A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening

  • Federico Chesani
  • Pietro De Matteis
  • Paola Mello
  • Marco Montali
  • Sergio Storari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4203)


Medical guidelines are clinical behaviour recommendations used to help and support physicians in the definition of the most appropriate diagnosis and/or therapy within determinate clinical circumstances. Due to the intrinsic complexity of such guidelines, their application is not a trivial task; hence it is important to verify if health-care workers behave in a conform manner w.r.t. the intended model, and to evaluate how much their behaviour differs.

In this paper we present the GPROVE framework that we are developing within a regional project to describe medical guidelines in a visual way and to automatically perform the conformance verification.


Colorectal Cancer Screening Regional Project Interaction Protocol Constraint Logic Programming Medical Guideline 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Societies Of ComputeeS (SOCS), IST-2001-32530 (2006), http://lia.deis.unibo.it/research/socs/
  2. 2.
    Romagna, E.: Colorectal cancer screening in the Emilia Romagna region of Italy (2006), http://www.saluter.it/colon/documentazione.htm
  3. 3.
    Chesani, F., Ciampolini, A., Mello, P., Montali, M., Storari, S.: Testing guidelines conformance by translating a graphical language to computational logic. In: Proceedings of the ECAI 2006 workshop on AI techniques in healthcare: evidence-based guidelines and protocols (to appear, 2006)Google Scholar
  4. 4.
  5. 5.
    Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science 85(2) (2003)Google Scholar
  6. 6.
    Jaffar, J., Maher, M.: Constraint logic programming: a survey. J. of Logic Programming 19-20, 503–582 (1994)CrossRefMathSciNetGoogle Scholar
  7. 7.
    The SCIFF Abductive Proof Procedure (2006), http://lia.deis.unibo.it/research/sciff/
  8. 8.
    Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G., Correndo, G.: The glare approach to clinical guidelines: main features. Stud. Health Tech. Inf. 101, 162–166 (2004)Google Scholar
  9. 9.
    Fox, J., Johns, N., Rahmanzadeh, A.: Disseminating medical knowledge-the proforma approach. Artificial Intelligence in Medicine 14, 157–181 (1998)CrossRefGoogle Scholar
  10. 10.
    van der Aalst, W.M.P.: Business alignment: Using process mining as a tool for delta analysis and conformance testing. Requirements Engineering Journal (to appear, 2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Federico Chesani
    • 1
  • Pietro De Matteis
    • 2
  • Paola Mello
    • 1
  • Marco Montali
    • 1
  • Sergio Storari
    • 3
  1. 1.DEISUniversity of BolognaBolognaItaly
  2. 2.NOEMALIFEBolognaItaly
  3. 3.ENDIFUniversity of FerraraFerraraItaly

Personalised recommendations