M. A. Grando, M. H. Schonenberg, W. van der Aalst


The dissemination of best medical practices should contribute to a higher quality of care. Because natural language specifications can be ambiguous, their miss interpretation can lead to all kinds of errors. Here we propose a declarative approach for precisely defining medical recommendations. We also propose an approach based on semantic process mining to verify that an arbitrary Computer Interpretable Guideline (CIG) complies with the medical recommendations. Taking into account that some medical recommendations are critical, our work can be seen as a contribution to the design of safer CIGs. Moreover, we introduce some novel strategies to take full advantage of the information provided by the semantic conformance checker in order to: 1) suggest scenarios than could lead to violations of the medical constraints in the CIG and, 2) estimate how flexible is the CIG with respect to the medical recommendations used as starting point.


  1. Black, E., Glasspool, D., Grando, M. A., Patkar, V., and Fox, J. (2009). Goal-based decisions for dynamic planning. In AIME, pages 96-100.
  2. Casati, F. and Shan, M. C. (2002). Semantic analysis of business process executions. In EDBT, pages 287- 296.
  3. Dumas, M., van der Aalst, W., and ter Hofstede, A. H. (2005). Process-Aware Information systems: Bridging People and Software Through Process Technology. Wiley.
  4. Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., and Wilson, P. (1997). PROforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine, 54(1- 2):59-67.
  5. Gendt, M. V., Teije, A. T., Serban, R., and Harmelen, F. V. (2005). Formalising medical quality indicator to improve guideline. In LNAI, editor, Proceedings AIME conference, volume 3581, pages 201-220.
  6. Grando, M. A., Peleg, M., and Glasspool, D. (2010). A goal-oriented framework for specifying clinical guidelines and handling medical errors. J Biomed Inform, 43(2):287-299.
  7. Irwin, R. S., Boulet, L. S., Cloutier, M. M., and et al (1998). 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.
  8. Kharbili, M. E. and Stein, S. (2008). Policy-based semantic compliance checking for business process management. In MobIS Workshops, pages 178-192.
  9. Mans, R., Schonenberg, H., Leonardi, G., Panzarasa, S., Cavallini, A., Quaglini, S., and van der Aalst, W. M. P. (2008a). Process mining techniques: an application to stroke care. In MIE, pages 573-578.
  10. Mans, R. S., Schonenberg, H., Song, M., van der Aalst, W. M. P., and Bakker, P. J. M. (2008b). Application of process mining in healthcare - a case study in a dutch hospital. In BIOSTEC (Selected Papers), pages 425- 438.
  11. Mans, R. S., van der Aalst, W. M. P., Russell, N. C., Bakker, P. J. M., Moleman, A. J., and et al (2009). From requirements via colored workflow nets to an implementation in several workflow systems. Transactions on Petri Nets and Other Models of Concurrency, 3:25- 49.
  12. McCartney, J. J. (2005). Values based decision making in helathcare: Introduction. Journal HEC Forum, 17(1):1-5.
  13. Mulyar, N., Pesic, M., van der Aalst, W., and Peleg, M. (2007). Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In Informal Proceedings of the International Workshop ProHealth 2007, pages 17-28. QUT, Brisbane, Australia.
  14. Peleg, M., Tu, S. W., Bury, J., Ciccarese, P., Fox, J., and et al (2003). Comparing computer-interpretable guideline models: A case-study approach. J Am Med Inform Assoc, 10(1):52-68.
  15. Pesic, M. (2008). Constraint-based workflow management systems: Shifting controls to users. PhD thesis, Beta Research School for Operations Management and Logistics, Eindhoven.
  16. Pesic, M. and van der Aalst, W. M. P. (2006). A declarative approach for flexible business processes management. In Business Process Management Workshops, pages 169-180.
  17. Shahar, Y., Miksch, S., and Johnson, P. (1998). 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.
  18. Stegers, R., Teije, A. T., and van Harmelen, F. (2006). From natural language to formal proof goal, structured goal formalisation applied to medical guidelines. In Proc Int Conf on Knowledge Engineering and Knowledge Management, volume 4248, pages 51-58. LNCS.
  19. Teije, A. T., Marcos, M., Blaser, M., and et al (2006). Improving medical protocols by formal methods. AI in Medicine.
  20. van der Aalst, W. and Pesic, M. (2006). DecSerFlow: Towards a truly declarative service flow language. In International Conference on Web Services and Formal Methods 2006, volume 4184 of LNCS, pages 1-23. springer.
  21. van Dongen, B. F., de Medeiros, A. K. A. A., Verbeek, H. M. W., Weijters, A. J. M. M., and van der Aalst, W. M. P. (2005). The ProM framework: a new era in process mining tool support. volume 3536. LNCS.

Paper Citation

in Harvard Style

A. Grando M., H. Schonenberg M. and van der Aalst W. (2011). SEMANTIC PROCESS MINING FOR THE VERIFICATION OF MEDICAL RECOMMENDATIONS . In Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2011) ISBN 978-989-8425-34-8, pages 5-16. DOI: 10.5220/0003112600050016

in Bibtex Style

author={M. A. Grando and M. H. Schonenberg and W. van der Aalst},
booktitle={Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2011)},

in EndNote Style

JO - Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2011)
SN - 978-989-8425-34-8
AU - A. Grando M.
AU - H. Schonenberg M.
AU - van der Aalst W.
PY - 2011
SP - 5
EP - 16
DO - 10.5220/0003112600050016