SOCS-SI: The SOCS Social Infrastructure

SOCS-SI is a tool for compliance verification of agent interaction developed within the SOCS European Project. The tool is composed of an implementation of the SCIFF proof-procedure, interfaced to a graphical user interface and to a component for the observation of agent interaction. The SOCS-SI software application is composed by a set of modules. All the components except one (the proof-procedure) are implemented in the Java language. The core of SOCS-SI is composed by three main modules, namely: * Event Recorder. Fetches events from different sources and stores them inside the History Manager * History Manager. Receives events from the Event Recorder and composes them into an "event history" * Social Compliance Verifier. Fetches events from the History Manager and passes them to the proof-procedure in order to check the compliance of the history to the specification