Reusing a declarative specification to check the conformance of different CIGs

Lecture Notes in Business Information Processing

Volumn 100 LNBIP, Issue PART 2, 2012, Pages 188-199

  Grando, M A ^a   Van Der Aalst, Wil M P ^b   Mans, Ronny S ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

clinical guidelines; conformance checking; Petri Nets

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; PETRI NETS;

CLINICAL GUIDELINE; COLOURED PETRI NETS; CONFORMANCE CHECKING; MODEL-CHECKING TECHNIQUES; PROFORMA;

MODEL CHECKING;

EID: 84856585534     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-28115-0_19     Document Type: Conference Paper

References (14)

1. Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible guideline-based patient careflow systems. Journal AIME 22, 65-80 (2001)
2. Advani, A., Shahar, Y., Musen, M.A.: Medical Quality Assessment by Scoring Adherence to Guideline Intentions. In: AMIA 2001 (2001)
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)
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)
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)
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) (Pubitemid 44019627)
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)
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) (Pubitemid 37342884)
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)
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)
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)
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)
13. van der Aalst, W.M.P.: Process Mining: Discovery. Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)
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)