Compliance checking of cancer-screening Careflows: an approach based on Computational Logic.
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.
Chesani
Federico
F
DEIS, University of Bologna, Italy.
Lamma
Evelina
E
Mello
Paola
P
Montali
Marco
M
Storari
Sergio
S
Baldazzi
Paola
P
Manfredi
Marilena
M
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