Skip to main content

2015 | OriginalPaper | Buchkapitel

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

verfasst von : Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali

Erschienen in: Foundations of Biomedical Knowledge Representation

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
5
This is the typical approach followed in BPM, where the process is split into procedural and declarative fragments, or (macro)activities can be expanded by following a declarative or procedural approach (see for example the ad-hoc subprocess construct in BPMN).
 
7
Notice that, even though the techniques in [15, 16] are presented as “a-posteriori” techniques, they could be considered as “a-priori” technique, because they work on the CG model, not on its real enactments.
 
Literatur
1.
Zurück zum Zitat van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)MATH van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)MATH
2.
Zurück zum Zitat van der Aalst, W.M.P., et al.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRef van der Aalst, W.M.P., et al.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRef
3.
Zurück zum Zitat 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) 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)
4.
Zurück zum Zitat Balser, M., Duelli, C., Reif, W.: Formal semantics of Asbru-an overview.In: Proceedings of IDPT 2002 (2002) Balser, M., Duelli, C., Reif, W.: Formal semantics of Asbru-an overview.In: Proceedings of IDPT 2002 (2002)
5.
Zurück zum Zitat 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)CrossRef 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)CrossRef
6.
Zurück zum Zitat 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)CrossRef 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)CrossRef
7.
Zurück zum Zitat 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)CrossRef 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)CrossRef
8.
Zurück zum Zitat 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) 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)
9.
Zurück zum Zitat 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)CrossRef 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)CrossRef
10.
Zurück zum Zitat Christov, S., et al.: Formally defining medical processes. Methods Inf. Med. 47(5), 392 (2008) Christov, S., et al.: Formally defining medical processes. Methods Inf. Med. 47(5), 392 (2008)
11.
Zurück zum Zitat 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) 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)
12.
Zurück zum Zitat Fridsma, D.B. (Guest ed.): Special issue on workflow management and clinical guidelines. JAMIA 22(1), 1–80 (2001) Fridsma, D.B. (Guest ed.): Special issue on workflow management and clinical guidelines. JAMIA 22(1), 1–80 (2001)
13.
Zurück zum Zitat 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)CrossRef 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)CrossRef
14.
Zurück zum Zitat 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, 1990 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, 1990
15.
Zurück zum Zitat 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)CrossRef 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)CrossRef
16.
Zurück zum Zitat 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) 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)
17.
Zurück zum Zitat Groot, P., et al.: Using model checking for critiquing based on clinical guidelines. Artif. Intell. Med. 46(1), 19–36 (2009)CrossRef Groot, P., et al.: Using model checking for critiquing based on clinical guidelines. Artif. Intell. Med. 46(1), 19–36 (2009)CrossRef
18.
Zurück zum Zitat Hutchinson, A., et al.: Towards efficient guidelines: how to monitor guideline use in primary care. Health Technol. Assess. 7(18) (2003) Hutchinson, A., et al.: Towards efficient guidelines: how to monitor guideline use in primary care. Health Technol. Assess. 7(18) (2003)
19.
Zurück zum Zitat Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Gener. Comput. 4(1), 67–98 (1986)CrossRef Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Gener. Comput. 4(1), 67–98 (1986)CrossRef
20.
Zurück zum Zitat Kroes, P., et al.: Treating socio-technical systems as engineering systems: some conceptual problems. Syst. Res. Behav. Sci. 23(6), 803–814 (2006)CrossRef Kroes, P., et al.: Treating socio-technical systems as engineering systems: some conceptual problems. Syst. Res. Behav. Sci. 23(6), 803–814 (2006)CrossRef
21.
Zurück zum Zitat 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)CrossRef 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)CrossRef
22.
Zurück zum Zitat 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)CrossRef 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)CrossRef
23.
Zurück zum Zitat Quaglini, S.: Compliance with clinical practice guidelines. Stud. Health Technol. Inform. 139, 160–179 (2008) Quaglini, S.: Compliance with clinical practice guidelines. Stud. Health Technol. Inform. 139, 160–179 (2008)
24.
Zurück zum Zitat 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) 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)
25.
Zurück zum Zitat 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)CrossRef 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)CrossRef
26.
Zurück zum Zitat 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)CrossRef 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)CrossRef
27.
Zurück zum Zitat 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) 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)
28.
Zurück zum Zitat 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)CrossRef 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)CrossRef
29.
Zurück zum Zitat 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) 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)
30.
Zurück zum Zitat 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) 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)
Metadaten
Titel
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes
verfasst von
Stefano Bragaglia
Federico Chesani
Paola Mello
Marco Montali
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-28007-3_6

Premium Partner