Declarative and procedural approaches for modelling clinical guidelines: Addressing flexibility issues

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4928 LNCS, Issue , 2008, Pages 335-346

  Mulyar, Nataliya ^a   Pesic, Maja ^a   Van Der Aalst, Wil M P ^a   Peleg, Mor ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF HAIFA   (Israel)

Author keywords

Clinical guidelines; Computer interpretable guidelines; Declarative model specification; Flexibility; Modelling languages; Temporal logic

Indexed keywords

ENCODING (SYMBOLS); TEMPORAL LOGIC;

CLINICAL GUIDELINES; COMPUTER-INTERPRETABLE GUIDELINE (CIG); DECLARATIVE MODEL SPECIFICATION; MODELLING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 40549132197     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78238-4_35     Document Type: Conference Paper

References (25)

1. Peleg, M.: Chapter 4-2: Guideline and Workflow Models. In: Greenes, R.A. (ed.) Medical Decision Support: Computer-Based Approaches to Improving Healthcare Quality and Safety, Elsevier, Amsterdam (2006)
2. Workflow Patterns Home Page, http://www.workflowpatterns.com
3. Mulyar, N., Aalst, W., Peleg, M.: A Pattern-based Analysis of Clinical Computer-Interpretable Guideline Modelling Languages. Technical report, Center Report BPM-06-29, BPMcenter.org (2006)
4. Wald, J., Pedraza, L., Murphy, M., Kuperman, G.: Requirements development for a patient computing system. In: Proc. AMIA Symp., pp. 731-735 (2001)
5. Pesic, M., Aalst, W.: A declarative approach for flexible business processes management. In: Business Process Management. Workshops, pp. 169-180 (2006)
6. Aalst, W., Pesic, M.: Specifying, discovering, and monitoring service flows: Making web services process-aware. BPM Center Report BPM-06-09, BPM Center, BPMcenter.org (2006)
7. Aalst, W., Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5-51 (2003)
8. Russell, N., Hofstede, A., Aalst, W., Mulyar., N.: Workflow Control-Flow Patterns: A Revised View. BPM Center Report BPM-06-22, BPMcenter.org (2006)
9. Shahar, Y., Miksch, S., Johnson, P.: The Asgaard Project: a task-specific E'ramework. for the application and critiquing of time-oriented clinical guidelines. Artif. Intell. Med. 14, 29-51 (1998)
10. Seyfang, A., Kosara, R., Miksch, S.: Asbru's Reference Manual, V.7.3. Technical report, Vienna Univ. of Techn., Inst. of SW Techn., Vienna. Report No.: Asgaard-TR-2002-1 (2002)
11. Tu, S., Musen, M.: A. flexible approach, to guideline modeling. In: Proc AMIA Symp., pp. 420-424 (1999)
12. Tu, S., Musen, M.: From guideline Modeling to guideline execution: Defining guidelinebased decision-support Services. In: Proc. AMIA Annu. Symp., pp. 863-867 (2000)
13. Tu, S.: The eon guideline model (2006), http://smi.stanford.edu/projects/ eon
14. Boxwala, A., et al.: GLIF3: A representation format for sharable computer-interpretable clinical practive guidelines. Biomedical Informatics 37(3), 147-161 (2004)
15. Fox, J., Johns, N., Rahmanzadeh, A.: Disseminating Medical Knowledge: The PROforma Approach. Artificial Intelligence in Medicine 14(1), 157-182 (1998)
16. Clarke Jr., E.M., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)
17. Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts (2003)
18. Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: ASE 2001. Proc. of the 16th IEEE int. conf. on Automated sw engineering, vol. 41.2, IEEE Computer Society, Washington, DC, USA (2001)
19. Mulyar, N., Pesic, M., Aalst, W., Peleg, M.: Towards the Flexibility in Clinical Guideline Modelling Languages. Technical report, Center Report BPM, BPMcenter.org (2007)
20. Reijers, IL, Rigter, J., Aalst, W.: The Case Handling Case. International Journal of Cooperative Information Systems 12(3), 365-391 (2003)
21. Athena, P.: Flower User Manual. Pallas Athena BV, Apeldoorn, The Netherlands (2002)
22. Reichert, M., Dadam, P.: ADEPTflex: Supporting Dynamic Changes of Workflow without Losing Control. Journal of Intelligent Information Systems 10(2), 93-129 (1998)
23. Dourish, P., Holmes, J., MacLean, A., Marqvardsen, P., Zbyslaw, A.: Freeflow: mediating between representation and action in workflow systems. In: Proc. of CSCW 1996, pp. 190-198 (1996)
24. Mangan, P., Sadiq, S.: On building workflow models for flexible processes. In: ADC 2002. Proc. of the 13th Australasian database conf. pp. 103-109. Australian Computer Society, Inc. (2002)
25. Wainer, J., de Lima Bezerra, F.: Groupware: Design, Implementation, and Use. In: Favela, J., Decouchant, D. (eds.) CRIWG 2003. LNCS, vol. 2806, pp. 151-158. Springer, Heidelberg (2003)