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.
Monitoring Time-Aware Social Commitments with Reactive Event Calculus
CHESANI, FEDERICO;MELLO, PAOLA;MONTALI, MARCO;TORRONI, PAOLO
2010
Abstract
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.