Testing guidelines conformance by translating a graphical language to computational logic

In this work we present GOSpeL, a simple graphical language for modeling guidelines in a flow-chart fashion, and an algorithm capable of translating a GOSpeL model to a formal language based on computational logic and abductive logic programming in particular. The main advantage of this formalism lies in its operational proof-theoretic counterpart, which is able to verify the conformance of a given guideline execution w.r.t. the model, both at runtime or a posteriori. The feasibility of the approach has been tested on fragments of cancer screening protocols.