{Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols}