ABSTRACT
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.
- R. Alur. Timed automata. In Proceedings of the 11th International Conference on Computer Aided Verification (CAV), LNCS, pages 8--22. Springer, 1999. Google ScholarDigital Library
- A. Artikis, M. J. Sergot, and J. V. Pitt. Specifying norm-governed computational societies. ACM Trans. Comput. Log., 10(1), 2009. Google ScholarDigital Library
- L. Astefanoaei, M. Dastani, J.-J. Meyer, and F. de Boer. On the semantics and verif cation of normative multi-agent systems. Journal of Universal Computer Science (J. UCS), 15(13):2629--2652, 2009. http://www.jucs.org/jucs_15_13/on_the_semantics_and.Google Scholar
- L. Astefanoaei, M. Dastani, J.-J. C. Meyer, and F. S. de Boer. A verif cation framework for normative multi-agent systems. In Proceedings of the 11th Pacific Rim International Conference on Multi-Agents (PRIMA), LNCS, pages 54--65. Springer, 2008. Google ScholarDigital Library
- L. Astefanoaei, F. S. de Boer, and M. Dastani. The ref nement of choreographed multi-agent systems. In Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT). LNAI, 2009. Google ScholarDigital Library
- M. Baldoni, C. Baroglio, A. K. Chopra, N. Desai, V. Patti, and M. P. Singh. Choice, interoperability, and conformance in interaction protocols and service choreographies. In Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 843--850. IFAAMAS, 2009. Google ScholarDigital Library
- G. Boella and L. van der Torre. Substantive and procedural norms in normative multiagent systems. J. Applied Logic, 6(2):152--171, 2008.Google ScholarCross Ref
- P. Bouyer, E. Brinksma, and K. G. Larsen. Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, 32(1):3--23, 2008. Google ScholarDigital Library
- M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. L. Talcott, editors. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, volume 4350 of LNCS. Springer, 2007. Google ScholarDigital Library
- M. Dastani, D. Grossi, J.-J. C. Meyer, and N. Tinnemeier. Normative multi-agent programs and their logics. In Proceedings of the Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), 2008.Google Scholar
- V. Dignum. A Model for Organizational Interaction. PhD thesis, Utrecht University, 2003.Google Scholar
- S. Eker, N. Martí-Oliet, J. Meseguer, and A. Verdejo. Deduction, strategies, and rewriting. ENTCS, 174(11):3--25, 2007. Google ScholarDigital Library
- S. Eker, J. Meseguer, and A. Sridharanarayanan. The Maude LTL model checker and its implementation. In Model Checking Software: Proc. 10 th Intl. SPIN Workshop, volume 2648 of LNCS, pages 230--234. Springer, 2003. Google ScholarDigital Library
- D. Grossi, F. Dignum, and J.-J. C. Meyer. A formal road from institutional norms to organizational structures. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), page 89. IFAAMAS, 2007. Google ScholarDigital Library
- A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson, and A. Skou. Testing real-time systems using UPPAAL. In Formal Methods and Testing, LNCS, pages 77--117. Springer, 2008. Google ScholarDigital Library
- A. Lomuscio, W. Penczek, M. Solanki, and M. Szreter. Runtime monitoring of contract regulated web services. In Proceedings of the 12th International Workshop on Concurrency, Specification and Programming (CS&P09), 2009. to appear.Google Scholar
- R. McNaughton and H. Yamada. Regular expressions and state graphs for automata. IEEE, 9:39--47, 1960.Google ScholarCross Ref
- S. Meng and F. Arbab. Web services choreography and orchestration in Reo and constraint automata. In Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), pages 346--353. ACM, 2007. Google ScholarDigital Library
- J. Misra. A programming model for the orchestration of web services. In SEFM, pages 2--11. IEEE, 2004. Google ScholarDigital Library
- P. C. Ölveczky and J. Meseguer. Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation, 20(1--2):161--196, 2007. Google ScholarDigital Library
- A. Ricci, M. Viroli, and A. Omicini. Give agents their artifacts: the A&A approach for engineering working environments in mas. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), page 150. IFAAMAS, 2007. Google ScholarDigital Library
- F. Viganó, N. Fornara, and M. Colombetti. An event driven approach to norms in artif cial institutions. In Proceedings of the International Workshop on Agents, Norms and Institutions for Regulated Multi-Agent Systems (ANIREM), LNCS, pages 142--154. Springer, 2005. Google ScholarDigital Library
Index Terms
Strategic executions of choreographed timed normative multi-agent systems
Recommendations
Contextualizing normative open multi-agent systems
SAC '08: Proceedings of the 2008 ACM symposium on Applied computingOpen MASs can be extremely dynamic due to heterogeneous agents that migrate among them to obtain resources or services not found locally. In order to prevent malicious actions and to ensure agent trust, open MAS should be enhanced with normative ...
A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction
In this article we propose a role based model for the specification of organized collective agency, based on the legal concept of artificial person and on the normative perspective of organizational systems. We focus on the analysis of groups of agents (...
Artifacts in the A&A meta-model for multi-agent systems
In this article we focus on the notion of artifact for agents in multi-agent systems (MAS) as a basis for a new meta-model promoting the modelling and engineering of agent societies and MAS environment as first-class entities. Its conceptual foundations ...
Comments