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

• Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
  Compliance Verification of Agent Interaction: a Logic-based Tool.
  In R. Trappl, editor, Proceedings of the 17th European Meeting on Cybernetics and Systems Research (EMCSR'2004), Vol. II, Symposium "From Agent Theory to Agent Implementation" (AT2AI-4), pp. 570-575, Vienna, Austria, April 13-16, 2004. Austrian Society for Cybernetic Studies.
• M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, P. Torroni.
  A Demonstration of SOCS-SI for AAMAS'04.
  In AAMAS'04 Conference, Demo Session, and Diciannovesimo Incontro dell'Associazione Italiana GULP (CILC'04), June-July 2004.
  GO TO the on-line demo