Reusing a Declarative Specification to Check the Conformance of Different CIGs

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.

[1]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[2]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[3]  John Fox,et al.  Comparing computer-interpretable guideline models: a case-study approach. , 2003, Journal of the American Medical Informatics Association : JAMIA.

[4]  Laura Giordano,et al.  Model Checking for Clinical Guidelines: an Agent-based Approach , 2006, AMIA.

[5]  Paola Mello,et al.  A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance , 2009, AIME.

[6]  Andreas Podelski,et al.  ACSAR: Software Model Checking with Transfinite Refinement , 2007, SPIN.

[7]  Maja Pesic,et al.  Towards the flexibility in clinical guideline modelling languages , 2007 .

[8]  Andriy Dunets,et al.  Verification of Medical Guidelines by Model Checking - A Case Study , 2006, SPIN.

[9]  William C. Cockerham.  Physicians , 2001, BMJ : British Medical Journal.

[10]  Yuval Shahar,et al.  Medical Quality Assessment by Scoring Adherence to Guideline Intentions , 2002, J. Am. Medical Informatics Assoc..

[11]  L. Boulet,et al.  Managing cough as a defense mechanism and as a symptom. A consensus panel report of the American College of Chest Physicians. , 1998, Chest.

[12]  Wil M. P. van der Aalst,et al.  Semantic Process Mining for the Verification of Medical Recommendations , 2011, HEALTHINF.

[13]  Giordano Lanzola,et al.  Flexible guideline-based patient careflow systems , 2001, Artif. Intell. Medicine.

[14]  Frank van Harmelen,et al.  Using model checking for critiquing based on clinical guidelines , 2009, Artif. Intell. Medicine.

[15]  Cw Christian Günther,et al.  Process mining: Using CPN tools to create test logs for mining algorithms , 2005 .

[16]  Frank van Harmelen,et al.  Experiences in the Formalisation and Verification of Medical Protocols , 2003, AIME.