research-article

Global Protocols as First Class Entities for Self-Adaptive Agents

Authors:

Daniela Briola,

Angelo Ferrando, and

Viviana MascardiAuthors Info & Claims

AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems

May 2015

Pages 1019 - 1029

Published: 04 May 2015 Publication History

Abstract

We describe a framework for top-down centralized self-adaptive MASs where adaptive agents are "protocol-driven" and adaptation consists in runtime protocol switch.

Protocol specifications take a global, rather than a local, perspective and each agent, before starting to follow a new (global) protocol, projects it for obtaining a local version. If all the agents in the MAS are driven by the same global protocol, the compliance of the MAS execution to the protocol is obtained by construction.

References

[1]

D. Ancona, M. Barbieri, and V. Mascardi. Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In S. Y. Shin and J. C. Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, pages 1377--1379. ACM, 2013.

Digital Library

[2]

D. Ancona, D. Briola, A. El Fallah Seghrouchni, V. Mascardi, and P. Taillibert. Efficient verification of MASs with projections. In F. Dalpiaz, J. Dix, and B. van Riemsdijk, editors, Engineering Multi-Agent Systems - Second International Workshop, EMAS 2014, Revised Selected Papers, volume 8758 of Lecture Notes in Computer Science. Springer, 2014.

[3]

D. Ancona, S. Drossopoulou, and V. Mascardi. Automatic generation of self-monitoring MASs from multiparty global session types in Jason. In M. Baldoni, L. A. Dennis, V. Mascardi, and W. Vasconcelos, editors, Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, volume 7784 of Lecture Notes in Computer Science, pages 76--95. Springer, 2012.

[4]

M. Baldoni, C. Baroglio, and F. Capuzzimati. 2COMM: A commitment-based MAS architecture. In M. Cossentino, A. El Fallah Seghrouchni, and M. Winikoff, editors, Engineering Multi-Agent Systems, volume 8245 of Lecture Notes in Computer Science, pages 38--57. Springer Berlin Heidelberg, 2013.

[5]

F. L. Bellifemine, G. Caire, and D. Greenwood. Developing Multi-Agent Systems with JADE. Wiley, 2007.

Digital Library

[6]

R. H. Bordini, J. F. Hübner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, 2007.

Digital Library

[7]

P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203--236, 2004.

Digital Library

[8]

D. Briola, V. Mascardi, and D. Ancona. Distributed runtime verification of JADE multiagent systems. In D. Camacho, L. Braubach, S. Venticinque, and C. Badica, editors, Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014, volume 570 of Studies in Computational Intelligence, pages 81--91. Springer, 2014.

[9]

N. Bulling, M. Dastani, and M. Knobbout. Monitoring norm violations in multi-agent systems. In Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, AAMAS '13, pages 491--498, Richland, SC, 2013. International Foundation for Autonomous Agents and Multiagent Systems.

Digital Library

[10]

G. Cabri, M. Puviani, and F. Zambonelli. Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles. In Collaboration Technologies and Systems (CTS), 2011 International Conference on, pages 508--515, 2011.

[11]

D. Capera, J. George, M.-P. Gleizes, and P. Glize. The AMAS theory for complex problem solving based on self-organizing cooperative agents. In Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003. WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on, pages 383--388, 2003.

Digital Library

[12]

G. Casella and V. Mascardi. West2East: Exploiting WEb Service Technologies to Engineer Agent-Based SofTware. Int. J. Agent-Oriented Softw. Eng., 1(3/4):396--434, 2007.

Digital Library

[13]

G. Castagna, M. Dezani-Ciancaglini, and L. Padovani. On global types and multi-party session. Logical Methods in Computer Science, 8(1), 2012.

[14]

L. Cernuzzi and F. Zambonelli. Dealing with adaptive multi-agent organizations in the Gaia methodology. In J. Müller and F. Zambonelli, editors, Agent-Oriented Software Engineering VI, volume 3950 of Lecture Notes in Computer Science, pages 109--123. Springer Berlin Heidelberg, 2006.

Digital Library

[15]

C. Chopinaud, A. El Fallah-Seghrouchni, and P. Taillibert. Automatic generation of self-controlled autonomous agents. In Intelligent Agent Technology, IEEE/WIC/ACM International Conference on, pages 755--758, 2005.

Digital Library

[16]

M. Coppo, M. Dezani-Ciancaglini, and B. Venneri. Self-adaptive monitors for multiparty sessions. In 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, pages 688--696. IEEE, 2014.

Digital Library

[17]

M. Cossentino. From requirements to code with the PASSI methodology. Agent-oriented methodologies, 3690:79--106, 2005.

[18]

G. Cugola, C. Ghezzi, and L. Pinto. DSOL: a declarative approach to self-adaptive service orchestrations. Computing, 94(7):579--617, 2012.

Digital Library

[19]

F. Dalpiaz, P. Giorgini, and J. Mylopoulos. Adaptive socio-technical systems: a requirements-based approach. Requirements Engineering, 18(1):1--24, 2013.

Digital Library

[20]

G. De Giacomo, Y. Lespérance, and C. Muise. On supervising agents in situation-determined ConGolog. In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, AAMAS '12, pages 1031--1038, Richland, SC, 2012. International Foundation for Autonomous Agents and Multiagent Systems.

Digital Library

[21]

G. Di Marzo Serugendo, M.-P. Gleizes, and A. Karageorgos. Self-organization in multi-agent systems. Knowl. Eng. Rev., 20(2):165--189, 2005.

Digital Library

[22]

FIPA. FIPA ACL message structure specification. Approved for standard, Dec. 6th, 2002, 2002.

[23]

S. N. Gerard and M. P. Singh. Evolving protocols and agents in multiagent systems. In Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, AAMAS '13, pages 997--1004, Richland, SC, 2013. International Foundation for Autonomous Agents and Multiagent Systems.

Digital Library

[24]

M.-P. Gleizes. Self-adaptive complex systems. In M. Cossentino, M. Kaisers, K. Tuyls, and G. Weiss, editors, Multi-Agent Systems, volume 7541 of Lecture Notes in Computer Science, pages 114--128. Springer Berlin Heidelberg, 2012.

Digital Library

[25]

Z. Guessoum, M. Ziane, and N. Faci. Monitoring and organizational-level adaptation of multi-agent systems. In Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on, pages 514--521, 2004.

Digital Library

[26]

C. Hahn, I. Zinnikus, S. Warwas, and K. Fischer. Automatic generation of executable behavior: A protocol-driven approach. In M.-P. Gleizes and J. Gomez-Sanz, editors, Agent-Oriented Software Engineering X, volume 6038 of Lecture Notes in Computer Science, pages 110--124. Springer Berlin Heidelberg, 2011.

Digital Library

[27]

IBM Corp. An architectural blueprint for autonomic computing. IBM Corp., USA, 2004.

[28]

N. R. Jennings, K. P. Sycara, and M. Wooldridge. A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems, 1(1):7--38, 1998.

Digital Library

[29]

T. Juan and L. Sterling. The ROADMAP meta-model for intelligent adaptive multi-agent systems in open environments. In P. Giorgini, J. Müller, and J. Odell, editors, Agent-Oriented Software Engineering IV, volume 2935 of Lecture Notes in Computer Science, pages 53--68. Springer Berlin Heidelberg, 2004.

[30]

A. U. Mallya and M. P. Singh. Modeling exceptions via commitment protocols. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS '05, pages 122--129, New York, NY, USA, 2005. ACM.

Digital Library

[31]

V. Mascardi, D. Briola, and D. Ancona. On the expressiveness of attribute global types: The formalization of a real multiagent system protocol. In M. Baldoni, C. Baroglio, G. Boella, and R. Micalizio, editors, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings, volume 8249 of Lecture Notes in Computer Science, pages 300--311. Springer, 2013.

[32]

J. Mayfield, Y. Labrou, and T. Finin. Evaluation of KQML as an agent communication language. In ATAL, pages 347--360. Springer Verlag, 1995.

[33]

T. Miller and P. McBurney. Using constraints and process algebra for specification of first-class agent interaction protocols. In G. M. P. O'Hare, A. Ricci, M. J. O'Grady, and O. Dikenelli, editors, Engineering Societies in the Agents World VII, 7th International Workshop, ESAW 2006, Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers, volume 4457 of Lecture Notes in Computer Science, pages 245--264. Springer, 2006.

Digital Library

[34]

T. Miller and P. McBurney. Annotation and matching of first-class agent interaction protocols. In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2, AAMAS '08, pages 805--812, Richland, SC, 2008. International Foundation for Autonomous Agents and Multiagent Systems.

Digital Library

[35]

T. Miller and P. McBurney. Propositional dynamic logic for reasoning about first-class agent interaction protocols. Computational Intelligence, 27(3):422--457, 2011.

[36]

M. Morandini, F. Migeon, M.-P. Gleizes, C. Maurel, L. Penserini, and A. Perini. A goal-oriented approach for modelling self-organising MAS. In H. Aldewereld, V. Dignum, and G. Picard, editors, Engineering Societies in the Agents World X, volume 5881 of Lecture Notes in Computer Science, pages 33--48. Springer Berlin Heidelberg, 2009.

Digital Library

[37]

L. Padgham, J. Thangarajah, and M. Winikoff. AUML protocols and code generation in the Prometheus Design Tool. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07, pages 270:1--270:2, New York, NY, USA, 2007. ACM.

Digital Library

[38]

J. G. Quenum, S. Aknine, O. Shehory, and S. Honiden. Dynamic protocol selection in open and heterogeneous systems. In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006, pages 333--341. IEEE Computer Society, 2006.

Digital Library

[39]

J. G. Quenum, F. Ishikawa, and S. Honiden. Protocol selection alongside service selection and composition. In 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pages 719--726. IEEE Computer Society, 2007.

[40]

R. de Lemos, H. Giese, H. A. Müller, et al. Software engineering for self-adaptive systems: A second research roadmap. In R. de Lemos, H. Giese, H. A. Müller, and M. Shaw, editors, Software Engineering for Self-Adaptive Systems II, volume 7475 of Lecture Notes in Computer Science, pages 1--32. Springer, 2013.

[41]

G. Salvaneschi, C. Ghezzi, and M. Pradella. An analysis of language-level support for self-adaptive software. ACM Trans. Auton. Adapt. Syst., 8(2):7:1--7:29, 2013.

Digital Library

[42]

M. P. Singh. Interaction-oriented programming: Concepts, theories, and results on commitment protocols. In Proceedings of the 19th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence, AI'06, pages 5--6, Berlin, Heidelberg, 2006. Springer-Verlag.

Digital Library

[43]

G. Tesauro, D. M. Chess, W. E. Walsh, R. Das, A. Segal, I. Whalley, J. O. Kephart, and S. R. White. A multi-agent systems approach to autonomic computing. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1, AAMAS '04, pages 464--471, Washington, DC, USA, 2004. IEEE Computer Society.

Digital Library

[44]

S. Warwas and C. Hahn. The DSML4MAS development environment. In Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, AAMAS '09, pages 1379--1380, Richland, SC, 2009. International Foundation for Autonomous Agents and Multiagent Systems.

Digital Library

[45]

D. Weyns and M. Georgeff. Self-adaptation using multiagent systems. Software, IEEE, 27(1):86--91, 2010.

Digital Library

[46]

Y. Brun, G. Di Marzo Serugendo, C. Gacek, et al. Engineering self-adaptive systems through feedback loops. In B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee, editors, Software Engineering for Self-Adaptive Systems, volume 5525 of Lecture Notes in Computer Science, pages 48--70. Springer, 2009.

Digital Library

[47]

P. Yolum and M. Singh. Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence, 42(1--3):227--253, 2004.

Digital Library

[48]

F. Zambonelli, N. Bicocchi, G. Cabri, L. Leonardi, and M. Puviani. On self-adaptation, self-expression, and self-awareness in autonomic service component ensembles. In Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2011 Fifth IEEE Conference on, pages 108--113, 2011.

Digital Library

[49]

F. Zambonelli, N. R. Jennings, and M. Wooldridge. Developing multiagent systems: The gaia methodology. ACM Trans. Softw. Eng. Methodol., 12(3):317--370, 2003.

Digital Library

Cited By

Chopra AChristie V SAgmon NAn BRicci AYeoh W(2023)Communication Meaning: Foundations and Directions for Systems ResearchProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598840(1786-1791)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3598840
Christie SChopra ASingh MEl Fallah Seghrouchni ASukthankar GAn BYorke-Smith N(2020)Refinement for Multiagent ProtocolsProceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3398761.3398796(258-266)Online publication date: 5-May-2020
https://dl.acm.org/doi/10.5555/3398761.3398796
Baldoni MBaroglio CCapuzzimati FMicalizio RElkind EVeloso MAgmon NTaylor M(2019)Type Checking for Protocol Role Enactments via CommitmentsProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331897(1690-1692)Online publication date: 8-May-2019
https://dl.acm.org/doi/10.5555/3306127.3331897
Show More Cited By

Index Terms

Global Protocols as First Class Entities for Self-Adaptive Agents
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems

Recommendations

On illegal composition of first-class agent interaction protocols
ACSC '08: Proceedings of the thirty-first Australasian conference on Computer science - Volume 74

In this paper, we examine the composition of first-class protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agents use at runtime to acquire the rules of the protocol. This is in contrast ...
Read More
Integrating jason in a multi-agent platform with support for interaction protocols.
SPLASH '11 Workshops: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11

Agent communication is a core issue when studying all possible ways for agents to organize and collaborate to achieve their goals. We can count on communication standards, as the FIPA Interaction Protocols. On the other hand we can count on high level ...
Read More
An algebra for commitment protocols

Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of protocols and help agents reason about protocols and plan their actions ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems

May 2015

2072 pages

ISBN:9781450334136

General Chairs:
Gerhard Weiss
Maastricht University, The Netherlands
,
Pınar Yolum
Bogazici University, Turkey
,
Program Chairs:
Rafael H. Bordini
PUCRS, Brazil
,
Edith Elkind
University of Oxford, UK

Sponsors

IFAAMAS

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 04 May 2015

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

MIUR PRIN Project CINA

Conference

AAMAS'15

Sponsor:

AAMAS'15: International Conference on Autonomous Agents and Multiagent Systems

May 4 - 8, 2015

Istanbul, Turkey

Acceptance Rates

AAMAS '15 Paper Acceptance Rate 108 of 670 submissions, 16%;

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
83
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Other Metrics

View Author Metrics

Citations

Cited By

Chopra AChristie V SAgmon NAn BRicci AYeoh W(2023)Communication Meaning: Foundations and Directions for Systems ResearchProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598840(1786-1791)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3598840
Christie SChopra ASingh MEl Fallah Seghrouchni ASukthankar GAn BYorke-Smith N(2020)Refinement for Multiagent ProtocolsProceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3398761.3398796(258-266)Online publication date: 5-May-2020
https://dl.acm.org/doi/10.5555/3398761.3398796
Baldoni MBaroglio CCapuzzimati FMicalizio RElkind EVeloso MAgmon NTaylor M(2019)Type Checking for Protocol Role Enactments via CommitmentsProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331897(1690-1692)Online publication date: 8-May-2019
https://dl.acm.org/doi/10.5555/3306127.3331897
Christie V. SChopra ASingh MAndre EKoenig SDastani MSukthankar G(2018)Compositional Correctness in Multiagent InteractionsProceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3237383.3237868(1159-1167)Online publication date: 9-Jul-2018
https://dl.acm.org/doi/10.5555/3237383.3237868
Baldoni MBaroglio CCapuzzimati FMicalizio R(2018)Type checking for protocol role enactments via commitmentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-018-9382-332:3(349-386)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10458-018-9382-3
Chopra AChristie V. SSingh MLarson KWinikoff MDas SDurfee E(2017)SpleeProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091274(1054-1063)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091274
Ferrando AAncona DMascardi VLarson KWinikoff MDas SDurfee E(2017)Decentralizing MAS Monitoring with DecAMonProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091164(239-248)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091164
Ancona DFerrando AMascardi V(2016)Comparing Trace Expressions and Linear Temporal Logic for Runtime VerificationEssays Dedicated to Frank de Boer on Theory and Practice of Formal Methods - Volume 966010.1007/978-3-319-30734-3_6(47-64)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1007/978-3-319-30734-3_6

View Options

Get Access

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents