Abstract
Despite their dynamic nature, social commit-ments have been rarely used for monitoring purposes, and few attention has been paid to the relationship between commitments and the temporal dimension and to the corre-sponding run-time verification. Building on previous work, we present a declarative ax-iomatization of time-aware social commit-ments, extending their basic life cycle with time-related transitions and with compensa-tion mechanisms. The formalization is based on a reactive version of the Event Calculus, which supports the monitoring of the com-mitments evolution during a system’s execu-tion, checking if the interacting agents are honoring them or not.