Show simple item record

dc.contributor.authorChesani, F
dc.contributor.authorLamma, E
dc.contributor.authorMello, P
dc.contributor.authorMontali, M
dc.contributor.authorStorari, S
dc.contributor.authorBaldazzi, P
dc.contributor.authorManfredi, M
dc.description.abstractClinical guidelines and Careflow systems have been recently identified as a means to improve and standardize health care services. A number of ICT-based management solutions have been proposed, focussing on several aspects such as specification, process logs verification with respect to specification (compliance), enactment and administration of careflows. In this paper we introduce the GPROVE framework, based on Computational Logic, and focused on the (formal) specification of careflows and on the compliance verification of the process executions w.r.t. the specified models. In particular, we show its application to the Cancer Screening Guideline used by the sanitary organization of the Emilia Romagna region, discussing its formalization in GPROVE and the results of the compliance checking applied to logs of the screening process.en_US
dc.publisherIOS Pressen_US
dc.relation.ispartofseriesStudies in health technology and informatics;139
dc.titleCompliance checking of cancer-screening careflows: An approach based on computational logicen_US
dc.typeBook chapteren_US
dc.publication.titleComputer-based medical guidelines and protocols: A primer and current trends

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record