Monitoring Time-Aware Social Commitments with Reactive Event Calculus

Despite their dynamic nature, social commitments have been rarely used for monitoring purposes. Few attention has been paid to the relationship between commitments and the temporal dimension and to the corresponding run-time verification. Building on previous work, we present a declarative axioma- tization of time-aware social commitments, extending their basic life cycle with time-related transitions and with compensation mechanisms. The formalization is based on a reactive version of the Event Calculus, able to monitor the commitments evolution during a system's execution, checking if the interacting agents are honoring them or not.