Strategic Executions of Choreographed Timed Normative Multi-Agent Systems

In this talk we describe a combined mechanism (and its implementation by means of rewrite strategies) for coordinating agents in timed multi-agent systems. What we combine is the timed extensions of two orthogonal coordination mechanisms wrt the dichotomy action/state. On the one hand, we have action-based artifacts, i.e., choreographies, to force action execution, on the other hand, we have normative artifacts, i.e., norms, to enforce states. In both cases, we use timing constraints to, for example, force action synchrony and/or norm application before certain time invariants are violated.  

hosted by