Abstract
We propose to adopt a formalism, based on social integrity constraints (ICs), for specifying social interactions between actors involved in a guideline. ICs allow us to represent interaction protocols using a logic formalism and to perform an on-the-fly verification of the protocol's application compliance, based on an abductive proof procedure which operates on relevant events occurred during its application. The paper presents the results of a first trial performed on a microbiological clinical guideline which exploits the potentialities of the formalism in representing and verifying the compliance to medical guidelines.