skip to main content
10.5555/1838206.1838336acmotherconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
research-article

Strategic executions of choreographed timed normative multi-agent systems

Published:10 May 2010Publication History

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.

References

  1. R. Alur. Timed automata. In Proceedings of the 11th International Conference on Computer Aided Verification (CAV), LNCS, pages 8--22. Springer, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. A. Artikis, M. J. Sergot, and J. V. Pitt. Specifying norm-governed computational societies. ACM Trans. Comput. Log., 10(1), 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle Scholar
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. G. Boella and L. van der Torre. Substantive and procedural norms in normative multiagent systems. J. Applied Logic, 6(2):152--171, 2008.Google ScholarGoogle ScholarCross RefCross Ref
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 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 ScholarGoogle Scholar
  11. V. Dignum. A Model for Organizational Interaction. PhD thesis, Utrecht University, 2003.Google ScholarGoogle Scholar
  12. S. Eker, N. Martí-Oliet, J. Meseguer, and A. Verdejo. Deduction, strategies, and rewriting. ENTCS, 174(11):3--25, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  14. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle Scholar
  17. R. McNaughton and H. Yamada. Regular expressions and state graphs for automata. IEEE, 9:39--47, 1960.Google ScholarGoogle ScholarCross RefCross Ref
  18. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  19. J. Misra. A programming model for the orchestration of web services. In SEFM, pages 2--11. IEEE, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  21. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  22. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Strategic executions of choreographed timed normative multi-agent systems

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Other conferences
      AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
      May 2010
      1578 pages
      ISBN:9780982657119

      Publisher

      International Foundation for Autonomous Agents and Multiagent Systems

      Richland, SC

      Publication History

      • Published: 10 May 2010

      Check for updates

      Qualifiers

      • research-article

      Acceptance Rates

      Overall Acceptance Rate1,155of5,036submissions,23%

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader