Testing careflow process execution conformance by translating a graphical language to computational logic

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

Volumn 4594 LNAI, Issue , 2007, Pages 479-488

  Chesani, Federico ^a   Mello, Paola ^a   Montali, Marco ^a   Storari, Sergio ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

Author keywords

Careflow management; Clinical practice guidelines; Computational logic; Conformance verification

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; DATA STRUCTURES; GRAPHICAL USER INTERFACES; HEALTH CARE; MODEL CHECKING;

CAREFLOW MANAGEMENT; CLINICAL PRACTICE GUIDELINES; COMPUTATIONAL LOGIC; CONFORMANCE VERIFICATION;

HOSPITAL DATA PROCESSING;

EID: 35148863106     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-73599-1_64     Document Type: Conference Paper

References (13)

1. Muir, G.: Evidence-based Healthcare. Churchill Livingston, London (1997)
2. Careflow management systems http://www.openclinical.org/ briefingpaperStefanelli.html
3. Chesani, F., Matteis, P.D., Mello, P., Montali, M., Storari, S.: A framework for defining and verifying clinical guidelines: A case study on cancer screening. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 338-343. Springer, Heidelberg (2006)
4. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. ENTCS 85(2) (2003)
5. Societies of computees (SOCS) Available at: http://lia.deis.unibo.it/ Research/SOCS/
6. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503-582 (1994)
7. The SCIFF abductive proof procedure, Available at http://lia.deis.unibo. it/Research/sciff/
8. Cervical cancer screening in emilia romagna (italy), Available at: http://www.regione.emilia-romagna.it/screening/
9. SOCS-SI web site. Available at: http://www.lia.deis.unibo.it/research/ socs-si/socs_si.shtml
10. Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G., Correndo, G.: Applying artificial intelligence to clinical guidelines: The GLARE approach. In: AI*IA. vol. 101, pp. 536-547 (2003)
11. Fox, J., Johns, N., Rahmanzadeh, A.: Disseminating medical knowledge-the proforma approach. Artificial Intelligence in Medicine 14, 157-181 (1998)
12. Ciccarese, P., Caffi, E., Boiocchi, L., Quaglini, S., Stefanelli, M.: A guideline management system. In: MEDINFO 2004, pp. 28-32. IOS Press, Amsterdam (2004)
13. Mulyar, N. A., v.d. Aalst, W.M.P., Peleg, M.: A pattern-based analysis of clinical computer-interpretable guideline modelling languages. BPMcenter.org Technical Note (2006)