Reusing a Declarative Specification to Check the Conformance of Different CIGs

  • M. A. Grando
  • Wil M. P. van der Aalst
  • Ronny S. Mans
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 100)


Several Computer Interpretable Guidelines (CIGs) languages have been proposed by the health community. Even though these CIG languages share common ideas each language has to be provided with his own mechanism of verification. In an earlier work we have shown that a DECLARE model can be used for checking the conformance of a PROforma CIG. In this paper, we show that the same model can also be used for checking the conformance of a similar CIG expressed in the GLIF language. Besides, as the GLIF model has been expressed in terms of a Coloured Petri Net (CPN), we also elaborate on the experiences obtained when applying the model checking techniques supported by CPN tools.


clinical guidelines conformance checking Petri Nets 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible guideline-based patient careflow systems. Journal AIME 22, 65–80 (2001)Google Scholar
  2. 2.
    Advani, A., Shahar, Y., Musen, M.A.: Medical Quality Assessment by Scoring Adherence to Guideline Intentions. In: AMIA 2001 (2001)Google Scholar
  3. 3.
    Groot, P., Hommersom, A., Lucas, P.J.F., Robbert-Jan, M., ten Teije, A., Harmelen, F.V.: Using model checking for critiquing based on clinical guidelines. Journal AIME 46, 19–36 (2009)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Grando, M.A., Schonenberg, M.H., van der Aalst, W.: Semantic Process Mining for the verification of medical recommendations. In: Int. Conf. of Health Informatics 2011, Rome, pp. 5–16 (2011)Google Scholar
  6. 6.
    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
  7. 7.
    Giordano, L., Terenziani, P., Bottrighi, A., Montani, S., Donzella, L.: Model checking for clinical guidelines: an agent-based approach. In: AMIA, pp. 289–293 (2006)Google Scholar
  8. 8.
    Marcos, M., Balser, M., ten Teije, A., van Harmelen, F., Duelli, C.: Experiences in the Formalisation and Verification of Medical Protocols. In: Dojat, M., Keravnou, E.T., Barahona, P. (eds.) AIME 2003. LNCS (LNAI), vol. 2780, pp. 132–141. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    Peleg, M., Tu, S.W., Bury, J., Ciccarese, P., Fox, J., et al.: Comparing Computer-Interpretable Guideline Models: A Case-Study Approach. JAMIA 10(1), 55–68 (2003)Google Scholar
  10. 10.
    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
  11. 11.
    van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative Workflows: Balancing Between Flexibility and Support. Computer Science - Research and Development 23(2), 99–113 (2009)CrossRefGoogle Scholar
  12. 12.
    Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Towards Flexibility in Clinical Guideline Modelling Languages. In: 1st International Workshop on Process-oriented Information Systems in Healthcare, pp. 24–29 (2007)Google Scholar
  13. 13.
    van der Aalst, W.M.P.: Process Mining: Discovery. Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)CrossRefzbMATHGoogle Scholar
  14. 14.
    Alves De Medeiros, A.K., Günther, C.W.: Process Mining: Using CPN Tools to Create Test Logs for Mining Algorithms. In: Proc. of the Sixth Workshop and Tutorial on Practical Use of CPNs and the CPN Tools, pp. 177–190 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • M. A. Grando
    • 1
  • Wil M. P. van der Aalst
    • 2
  • Ronny S. Mans
    • 2
  1. 1.Division Biomedical InformaticsUniversity of CaliforniaSan DiegoUSA
  2. 2.Department of Information SystemsEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations