Abstract
Conformance checking is a process mining technique that allows verifying the conformance of process instances to a given model. Thus, this technique is predestined to be used in the medical context for the comparison of treatment cases with clinical guidelines. However, medical processes are highly variable, highly dynamic, and complex. This makes the use of imperative conformance checking approaches in the medical domain difficult. Studies show that declarative approaches can better address these characteristics. However, none of the approaches has yet gained practical acceptance. Another challenge are alignments, which usually do not add any value from a medical point of view. For this reason, we investigate in a case study the usability of the HL7 standard Arden Syntax for declarative, rule-based conformance checking and the use of manually modeled alignments. Using the approach, it was possible to check the conformance of treatment cases and create medically meaningful alignments for large parts of a medical guideline.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Lohr, K.N., Field, M.J.: Clinical practice guidelines: directions for a new program. Volume 90–08 of Publication IOM. National Academy Press, Washington (1990)
Forsner, T., Hansson, J., Brommels, M., Wistedt, A.A., Forsell, Y.: Implementing clinical guidelines in psychiatry: a qualitative study of perceived facilitators and barriers. BMC Psychiatry 10, 8 (2010)
Landfeldt, E., et al.: Compliance to care guidelines for Duchenne muscular dystrophy. J. Neuromuscul. Dis. 2(1), 63–72 (2015)
Rovani, M., Maggi, F.M., de Leoni, M., van der Aalst, W.M.: Declarative process mining in healthcare. Expert Syst. Appl. 42(23), 9236–9251 (2015)
Gatta, R., et al.: Clinical guidelines: a crossroad of many research areas. challenges and opportunities in process mining for healthcare. In: Di Francescomarino, C., Dijkman, R., Zdun, U. (eds.) BPM 2019. LNBIP, vol. 362, pp. 545–556. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-37453-2_44
van der Aalst, W.M.P.: Process Mining: Data Science in Action, 2nd edn. Springer, Heidelberg (2016)
Van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rev.: Data Min. Knowl. Discov. 2(2), 182–192 (2012)
Geleijnse, G., et al.: Using process mining to evaluate colon cancer guideline adherence with cancer registry data: a case study. In: American Medical Informatics Association Annual Symposium, AMIA 2018, San Francisco, California, USA, 3–7 November 2018. American Medical Informatics Association (2018)
Grüger, J., Geyer, T., Kuhn, M., Braun, S.A., Bergmann, R.: Verifying guideline compliance in clinical treatment using multi-perspective conformance checking: a case study. In: Munoz-Gama, J., Lu, X. (eds.) ICPM 2021. LNBIP, vol. 433, pp. 301–313. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-98581-3_22
Bottrighi, A., et al.: A hybrid approach to clinical guideline and to basic medical knowledge conformance. In: Combi, C., Shahar, Y., Abu-Hanna, A. (eds.) AIME 2009. LNCS (LNAI), vol. 5651, pp. 91–95. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02976-9_12
Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194–211 (2016)
Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006). https://doi.org/10.1007/11837862_18
Samwald, M., Fehre, K., de Bruin, J., Adlassnig, K.P.: The Arden syntax standard for clinical decision support: experiences and directions. J. Biomed. Inform. 45(4), 711–718 (2012)
Anand, V., Carroll, A.E., Biondich, P.G., Dugan, T.M., Downs, S.M.: Pediatric decision support using adapted Arden syntax. Artif. Intell. Med. 92, 15–23 (2018). Special Issue on Arden Syntax
Schuh, C., de Bruin, J.S., Seeling, W.: Clinical decision support systems at the Vienna general hospital using Arden syntax: design, implementation, and integration. Artif. Intell. Med. 92 (2018). Special Issue on Arden Syntax
Adlassnig, K.P., Fehre, K., Rappelsberger, A.: Fuzzy-Arden-syntax-based, vendor-agnostic, scalable clinical decision support and monitoring platform. Stud. Health Technol. Inform. 216, 1111 (2015)
Caron, F.: Business process analytics for enterprise risk management and auditing. Ph.D. thesis, Katholieke Universiteit Leuven, Belgium (2013)
Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. In: Betz, S. (ed.) Proceedings of the 11th International Conference on Subject-Oriented Business Process Management, pp. 1–10. Association for Computing Machinery, New York (2019)
Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Alignment based precision checking. In: La Rosa, M., Soffer, P. (eds.) BPM 2012. LNBIP, vol. 132, pp. 137–149. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36285-9_15
de Leoni, M., van der Aalst, W.M.P.: Aligning event logs and process models for multi-perspective conformance checking: an approach based on integer linear programming. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 113–129. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40176-3_10
Mannhardt, F.: Multi-perspective process mining. Ph.D. thesis, Technische Universiteit Eindhoven (2018)
Arkad, K., Gill, H., Ludwigs, U., Shahsavar, N., Gao, X.M., Wigertz, O.: Medical logic module (MLM) representation of knowledge in a ventilator treatment advisory system. Int. J. Clin. Monit. Comput. 8(1) (1991)
Hripcsak, G.: Writing Arden syntax medical logic modules. Comput. Biol. Med. 24(5), 331–363 (1994)
Vetterlein, T., Mandl, H., Adlassnig, K.P.: Fuzzy Arden syntax: a fuzzy programming language for medicine. Artif. Intell. Med. 49(1), 1–10 (2010)
Jenders, R.A., Haug, P., Adlassning, K.P.: HL7 Arden syntax: implementation guide. Technical report, Health Level Seven International, Ann Arbor, USA (2019)
Patel, V.L., Allen, V.G., Arocha, J.F., Shortliffe, E.H.: Representing clinical guidelines in GLIF: individual and collaborative expertise. JAMIA 5(5), 467–483 (1998)
Grüger, J., Geyer, T., Bergmann, R., Braun, S.A.: CGK4PM: towards a methodology for the systematic generation of clinical guideline process models and the utilization of conformance checking. BioMedInformatics 2(3), 359–374 (2022)
IEEE: Standard for eXtensible Event Stream (XES) for Achieving Interoperability in Event Logs and Event Streams. IEEE Std 1849-2016, pp. 1–50 (2016)
Acknowledgments
The research is partially funded by the German Federal Ministry of Education and Research (BMBF) in the project DaTreFo under the funding code 16KIS1644.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 Springer Nature Switzerland AG
About this paper
Cite this paper
Grüger, J., Geyer, T., Kuhn, M., Braun, S.A., Bergmann, R. (2023). Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study. In: Cabanillas, C., Garmann-Johnsen, N.F., Koschmider, A. (eds) Business Process Management Workshops. BPM 2022. Lecture Notes in Business Information Processing, vol 460. Springer, Cham. https://doi.org/10.1007/978-3-031-25383-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-031-25383-6_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-25382-9
Online ISBN: 978-3-031-25383-6
eBook Packages: Computer ScienceComputer Science (R0)