Compliance checking of cancer-screening careflows: An approach based on Computational Logic

Studies in Health Technology and Informatics

Volumn 139, Issue , 2008, Pages 183-192

  Chesani, Federico ^a   Lamma, Evelina ^b   Mello, Paola ^a   Montali, Marco ^a   Storari, Sergio ^b   Baldazzi, Paola ^c   Manfredi, Marilena ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

^c Department of Public Health Sanitary Agency of Bologna ^*  (Italy)

Author keywords

Careflow monitoring system; Clinical practice guidelines; Compliance verification; Computational logic

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; DIAGNOSIS; DISEASES; LOGIC PROGRAMMING; SPECIFICATIONS;

CLINICAL GUIDELINE; CLINICAL PRACTICE GUIDELINES; COMPLIANCE CHECKING; COMPLIANCE VERIFICATION; COMPUTATIONAL LOGIC; HEALTHCARE SERVICES; MONITORING SYSTEM; SCREENING PROCESS;

COMPLIANCE CONTROL;

ARTICLE; COMPUTER PROGRAM; DECISION SUPPORT SYSTEM; HUMAN; MASS SCREENING; NEOPLASM; ORGANIZATION AND MANAGEMENT; PRACTICE GUIDELINE; STANDARD;

DECISION SUPPORT SYSTEMS, CLINICAL; GUIDELINE ADHERENCE; HUMANS; MASS SCREENING; NEOPLASMS; PRACTICE GUIDELINES AS TOPIC; SOFTWARE;

EID: 56149083160     PISSN: 09269630     EISSN: 18798365     Source Type: Book Series    
DOI: 10.3233/978-1-58603-873-1-183     Document Type: Conference Paper

References (15)

1. G.J.A. Muir. Evidence-based Healthcare. Churchill Livingston, London, 1997.
2. Careflow management systems. http://www.openclinical.org/ briefingpaperStefanelli.html.
3. F. Chesani, P. De Matteis, P. Mello, M. Montali, and S. Storari. A framework for defining and verifying clinical guidelines: A case study on cancer screening. In F. Esposito, Z. W. Ras, D. Malerba, and G. Semeraro, editors, ISMIS, volume 4203 of LNCS, pages 338-343. Springer, 2006.
4. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logics. Accepted for publication.
5. M. Montali F. Chesani, P. Mello and S. Storari. Testing careflow process execution conformance by translating a graphical language to computational logic. In Bellazzi et al. [15].
6. Protegè. http://protege.stanford.edu/.
7. J. Jaffar and M.J. Maher. Constraint logic programming: a survey. JLP, 19-20:503-582, 1994.
8. The SCIFF abductive proof procedure. Available at http://lia.deis.unibo.it/Research/sciff/.
9. Cervical Cancer Screening in Emilia Romagna (Italy). http://www.regione. emilia-romagna.it/screening/.
10. P. Groot, A. Hommersom, P. J. F. Lucas, R. Serban, A. ten Teije, and F. van Harmelen. The role of model checking in critiquing based on clinical guidelines. In Bellazzi et al. [15], pages 411-420.
11. L. Giordano, P. Terenziani, A. Bottrighi, S. Montani, and L. Donzella. Model checking for clinical guidelines: an agent-based approach. In Proc. of the American Medical Informatics Association (AMIA) Symposium, 2006.
12. *IA, volume 101, pages 536-547, 2003.
13. A. ten Teije, M. Marcos, M. Balser, J. van Croonenborg, C. Duelli, F. van Harmelen, P. J. F. Lucas, S. Miksch, W. Reif, K. Rosenbrand, and A. Seyfang. Improving medical protocols by formal methods. Artificial Intelligence in Medicine, 36(3):193-209, 2006.
14. Y. Shahar, S. Miksch, and P. Johnson. The asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artif. Intelligence in Medicine, 14(1-2):29-51, 1998.
15. R. Bellazzi, A. Abu-Hanna, and J. Hunter, editors. 11th Conf. on Artificial Intelligence in Medicine, AIME, Amsterdam, The Netherlands, July 7-11, 2007, Proc., volume 4594 of LNCS. Springer, 2007.