Reusing a Declarative Specification to Check the Conformance of Different CIGs
暂无分享,去创建一个
Wil M. P. van der Aalst | R. S. Mans | Wil M.P. van der Aalst | María Adela Grando | R. Mans | M. Grando
[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.