CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A Programming Model for the Orchestration of Web Services
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
A formal road from institutional norms to organizational structures
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Give agents their artifacts: the A&A approach for engineering working environments in MAS
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Optimal infinite scheduling for multi-priced timed automata
Formal Methods in System Design
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The maude LTL model checker and its implementation
SPIN'03 Proceedings of the 10th international conference on Model checking software
Testing real-time systems using UPPAAL
Formal methods and testing
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
An event driven approach to norms in artificial institutions
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Open issues for normative multi-agent systems
AI Communications
A real-time semantics for norms with deadlines
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
| Hi-index | 0.00 |
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force action execution to happen before certain time invariants are violated. In such multi-agent systems we achieve coordination at two orthogonal levels with respect to states and actions. On the one hand, the behaviour of individual agents is regulated by means of social and organisational inspired concepts like norms and sanctions. On the other hand, the behaviour of sets of agents is restricted according to action-based coordination mechanisms called choreographies. In both cases, the resulting behaviour is constrained by time.