A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening | SpringerLink
Skip to main content

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

  • Conference paper
Foundations of Intelligent Systems (ISMIS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4203))

Included in the following conference series:

  • 1153 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Societies Of ComputeeS (SOCS), IST-2001-32530 (2006), http://lia.deis.unibo.it/research/socs/

  2. Romagna, E.: Colorectal cancer screening in the Emilia Romagna region of Italy (2006), http://www.saluter.it/colon/documentazione.htm

  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. Protege (2006), http://stanford.protege.org

  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. Jaffar, J., Maher, M.: Constraint logic programming: a survey. J. of Logic Programming 19-20, 503–582 (1994)

    Article  MathSciNet  Google Scholar 

  7. The SCIFF Abductive Proof Procedure (2006), http://lia.deis.unibo.it/research/sciff/

  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. Fox, J., Johns, N., Rahmanzadeh, A.: Disseminating medical knowledge-the proforma approach. Artificial Intelligence in Medicine 14, 157–181 (1998)

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chesani, F., De Matteis, P., Mello, P., Montali, M., Storari, S. (2006). A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds) Foundations of Intelligent Systems. ISMIS 2006. Lecture Notes in Computer Science(), vol 4203. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11875604_39

Download citation

  • DOI: https://doi.org/10.1007/11875604_39

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-45764-0

  • Online ISBN: 978-3-540-45766-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics