title: Compliance checking of cancer-screening Careflows: an approach based on Computational Logic.
abstract: Clinical 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.
authors.affiliation: DEIS, University of Bologna, Italy.
authors.forename: Federico
authors.initials: F
authors.lastname: Chesani
authors.forename: Evelina
authors.initials: E
authors.lastname: Lamma
authors.forename: Paola
authors.initials: P
authors.lastname: Mello
authors.forename: Marco
authors.initials: M
authors.lastname: Montali
authors.forename: Sergio
authors.initials: S
authors.lastname: Storari
authors.forename: Paola
authors.initials: P
authors.lastname: Baldazzi
authors.forename: Marilena
authors.initials: M
authors.lastname: Manfredi
mesh_terms: D020000:Decision Support Systems, Clinical; D019983:Guideline Adherence / Q000458:organization & administration; D006801:Humans; D008403:Mass Screening / Q000592:standards*; D009369:Neoplasms / Q000175:diagnosis*; D017410:Practice Guidelines as Topic; D012984:Software