Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines

  • M. A. Grando
  • M. H. Schonenberg
  • W. van der Aalst
Part of the Communications in Computer and Information Science book series (CCIS, volume 273)


Medical recommendations are generally expressed in natural language and therefore their ambiguity can lead to miss interpretations and medical errors. In this paper we propose an approach to 1) disambiguate medical recommendations by specifying them in a declarative language and 2) check the conformance of Computer Interpretable Guidelines (CIGs) with respect to the declarative specification of the medical recommendations. Our approach is based on semantic process mining techniques. Furthermore, we explain two ways to further exploit the information provided by the semantic conformance checker. To increase the accuracy of the model checker we suggest medical scenarios that were not considered for the enactment of the CIG and could show a violation of the medical constraints. Moreover, we discover scenarios which were not covered by the CIG but were considered for the medical recommendations.


Model Check Chronic Cough Linear Temporal Logic Process Instance Medical Recommendation 
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.
    Bäumler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of Medical Guidelines by Model Checking – A Case Study. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 219–233. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Black, E., Glasspool, D., Grando, M.A., Patkar, V., Fox, J.: Goal-Based Decisions for Dynamic Planning. In: AIME Conference, pp. 96–100 (2009)Google Scholar
  3. 3.
    Casati, F., Shan, M.C.: Semantic Analysis of Business Process Executions. In: Jensen, C.S., Jeffery, K., Pokorný, J., Šaltenis, S., Bertino, E., Böhm, K., Jarke, M. (eds.) EDBT 2002. LNCS, vol. 2287, pp. 287–296. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.: Process-Aware Information systems: Bridging People and Software Through Process Technology. Wiley (2005)Google Scholar
  5. 5.
    El Kharbili, M., Stein, S.: Policy-Based Semantic Compliance Checking for Business Process Management. In: MobIS Workshops, pp. 178–192 (2008)Google Scholar
  6. 6.
    Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., Wilson, P.: PROforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine 54(1-2), 59–67 (1997)CrossRefGoogle Scholar
  7. 7.
    Giordano, L., Terenziani, P., Bottrighi, A., Montani, S., Donzella, L.: Model checking for clinical guidelines: an agent-based approach. AMIA, 289–293 (2006)Google Scholar
  8. 8.
    Grando, A., Peleg, M., Glasspool, D.: A goal-oriented framework for specifying clinical guidelines and handling medical errors. J. Biomed. Inform. 43(2), 287–299 (2010)CrossRefGoogle Scholar
  9. 9.
    Irwin, R.S., Boulet, L.S., Cloutier, M.M., et al.: Managing Cough as a Defense Mechanism and as a Symptom, A Consensus Panel Report of the American College of Chest Physicians. Chest 114(2), 133–181 (1998)CrossRefGoogle Scholar
  10. 10.
    Maggi, F., Mooij, A., van der Aalst, W.P.M.: User-guided discovery of declarative process models. In: IEEE Symposium Series in Computational Intelligence 2011 - CIDM - 2011 IEEE Symposium on Computational Intelligence and Data Mining (2011)Google Scholar
  11. 11.
    Mans, R.S., Schonenberg, H., Leonardi, G., Panzarasa, S., Cavallini, A., Quaglini, S., van der Aalst, W.M.P.: Process Mining Techniques: an Application to Stroke Care. MIE, 573–578 (2008)Google Scholar
  12. 12.
    Mans, R.S., Schonenberg, H., Song, M., van der Aalst, W.M.P., Bakker, P.J.M.: Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital, BIOSTEC Conference (Selected Papers), pp. 425–438 (2008)Google Scholar
  13. 13.
    Mans, R.S., van der Aalst, W.M.P., Russell, N.C., Bakker, P.J.M., Moleman, A.J., Lassen, K.B., Jørgensen, J.B.: From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In: Jensen, K., Billington, J., Koutny, M. (eds.) ToPNoC III. LNCS, vol. 5800, pp. 25–49. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  14. 14.
    McCartney, J.J.: Values Based Decision making in Helathcare: Introduction. Journal HEC Forum 17(1), 1–5 (2005)CrossRefGoogle Scholar
  15. 15.
    Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In: Informal Proceedings of the International Workshop ProHealth 2007, pp. 17–28 (2007)Google Scholar
  16. 16.
    Open Clinical repository, (March 2011)
  17. 17.
    Peleg, M., Tu, S.W., Bury, J., Ciccarese, P., Fox, J., et al.: Comparing Computer-Interpretable Guideline Models: A Case-Study Approach. J. Am. Med. Inform. Assoc. 10(1), 52–68 (2003)CrossRefGoogle Scholar
  18. 18.
    Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  19. 19.
    Pesic, M.: Constraint-based workflow management systems: Shifting controls to users. Beta Research School for Operations Management and Logistics, Eindhoven (2008)Google Scholar
  20. 20.
    Shahar, Y., Miksch, S., Johnson, P.: The Asgaard Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines. Artificial Intelligence in Medicine 14(1-2), 29–51 (1998)CrossRefGoogle Scholar
  21. 21.
    ten Teije, A., Marcos, M., Blaser, M., et al.: Improving medical protocols by formal methods. AI in Medicine (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • M. A. Grando
    • 1
  • M. H. Schonenberg
    • 2
  • W. van der Aalst
    • 2
  1. 1.School of InformaticsEdinburgh UniversityEdinburghU.K.
  2. 2.Department of Mathematics and Computer ScienceTechnische Universiteit EindhovenEindhovenThe Netherlands

Personalised recommendations