More Web Proxy on the site http://driver.im/

Article

On Enactability of Agent Interaction Protocols: Towards a Unified Approach

Authors:

Angelo Ferrando,

Michael Winikoff,

Stephen Cranefield,

Viviana MascardiAuthors Info & Claims

Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers

Pages 43 - 64

https://doi.org/10.1007/978-3-030-51417-4_3

Published: 13 May 2019 Publication History

Abstract

Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. It is well known that this difference between the specification and the implementation levels can introduce problems, allowing designers to specify protocols from a global viewpoint that cannot be implemented as a collection of individual agents. This leads naturally to the question of whether a given (global) protocol is enactable, namely, whether it can be implemented in a distributed way. We consider this question in the powerful setting of trace expressions, considering a range of message ordering interpretations (specifying what it means to say that an interaction step occurs before another), and a range of possible constraints on the semantics of message delivery, corresponding to different properties of the underlying communication middleware. We provide a definition of enactability, along with an implementation of the definition that is applied to a number of example protocols.

References

[1]

Ancona D, Drossopoulou S, and Mascardi V Baldoni M, Dennis L, Mascardi V, and Vasconcelos W Automatic generation of self-monitoring MASs from multiparty global session types in jason Declarative Agent Languages and Technologies X 2013 Heidelberg Springer 76-95

[2]

Ancona, D., Ferrando, A., Franceschini, L., Mascardi, V.: Parametric trace expressions for runtime verification of Java-like programs. In: FTfJP@ECOOP, pp. 10:1–10:6. ACM (2017)

[3]

Ancona D, Ferrando A, Franceschini L, and Mascardi V Demazeau Y, An B, Bajo J, and Fernández-Caballero A Coping with bad agent interaction protocols when monitoring partially observable multiagent systems Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 2018 Cham Springer 59-71

[4]

Ancona D, Ferrando A, and Mascardi V Ábrahám E, Bonsangue M, and Johnsen EB Comparing trace expressions and linear temporal logic for runtime verification Theory and Practice of Formal Methods 2016 Cham Springer 47-64

[5]

Ancona, D., Ferrando, A., Mascardi, V.: Agents interoperability via conformance modulo mapping. In: Cossentino, M., Sabatucci, L., Seidita, V. (eds.) Proceedings of the 19th Workshop “From Objects to Agents", CEUR Workshop Proceedings, Palermo, Italy, 28–29 June 2018, vol. 2215, pp. 109–115. CEUR-WS.org (2018). http://ceur-ws.org/Vol-2215/paper_18.pdf

[6]

Autili, M., Tivoli, M.: Distributed enforcement of service choreographies. In: Cámara, J., Proença, J. (eds.) 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA). Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 175, pp. 18–35 (2014). 10.4204/EPTCS.175.2

[7]

Bellifemine FL, Caire G, and Greenwood D Developing Multi-Agent Systems with JADE 2007 Hoboken Wiley

[8]

Bordini RH, Hübner JF, and Wooldridge M Programming Multi-Agent Systems in AgentSpeak Using Jason 2007 Hoboken Wiley

[9]

Broda S, Machiavelo A, Moreira N, and Reis RAutomata for regular expressions with shuffleInf. Comput.20182592162-1733774972

[10]

Carbone M, Honda K, and Yoshida N De Nicola R Structured communication-centred programming for web services Programming Languages and Systems 2007 Heidelberg Springer 2-17

[11]

Castagna G, Dezani-Ciancaglini M, and Padovani L Bruni R and Dingel J On global types and multi-party sessions Formal Techniques for Distributed Systems 2011 Heidelberg Springer 1-28

[12]

Chevrou F, Hurault A, and Quéinnec POn the diversity of asynchronous communicationForm. Aspects Comput.2016285847-87935379481345.68022

[13]

Decker G and Weske M Alonso G, Dadam P, and Rosemann M Local enforceability in interaction petri nets Business Process Management 2007 Heidelberg Springer 305-319

[14]

Desai, N., Singh, M.P.: On the enactability of business protocols. In: Fox, D., Gomes, C.P. (eds.) Twenty-Third AAAI Conference on Artificial Intelligence, pp. 1126–1131. AAAI Press (2008). http://www.aaai.org/Library/AAAI/2008/aaai08-178.php

[15]

Ferrando A, Ancona D, and Mascardi V Baldoni M, Müller JP, Nunes I, and Zalila-Wenkstern R Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: a case study Engineering Multi-Agent Systems 2016 Cham Springer 39-58

[16]

Ferrando, A., Ancona, D., Mascardi, V.: Decentralizing MAS monitoring with DecAMon. In: Larson, K., Winikoff, M., Das, S., Durfee, E.H. (eds.) Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, 8–12 May 2017, pp. 239–248. ACM (2017). http://dl.acm.org/citation.cfm?id=3091164

[17]

Giunchiglia E, Lee J, Lifschitz V, McCain N, and Turner HNonmonotonic causal theoriesArtif. Intell.20041531–249-10420558591085.68161

[18]

Harel DStatecharts: a visual formalism for complex systemsSci. Comput. Program.198783231-2748960040637.68010

[19]

Honda K, Vasconcelos VT, and Kubo M Hankin C Language primitives and type discipline for structured communication-based programming Programming Languages and Systems 1998 Heidelberg Springer 122-138

[20]

Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 273–284. ACM (2008). 10.1145/1328438.1328472

[21]

Huget M-P and Odell J Odell J, Giorgini P, and Müller JP Representing agent interaction protocols with agent UML Agent-Oriented Software Engineering V 2005 Heidelberg Springer 16-30

[22]

Lamport LTime, clocks, and the ordering of events in a distributed systemCommun. ACM1978217558-5650378.68027

[23]

Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction- and process-oriented choreographies. In: Cerone, A., Gruner, S. (eds.) Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 323–332. IEEE Computer Society (2008). 10.1109/SEFM.2008.11

[24]

Peterson JLPetri netsACM Comput. Surv.197793223-2520357.68067

[25]

Poizat, P., Salaün, G.: Checking the realizability of BPMN 2.0 choreographies. In: 27th Annual ACM Symposium on Applied Computing (SAC), pp. 1927–1934. ACM (2012). 10.1145/2245276.2232095

[26]

Pokahr A, Braubach L, and Lamersdorf W Bordini RH, Dastani M, Dix J, and El Fallah Seghrouchni A Jadex: a BDI reasoning engine Multi-Agent Programming 2005 Boston Springer 149-174

[27]

Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Williamson, C.L., Zurko, M.E., Patel-Schneider, P.F., Shenoy, P.J. (eds.) 16th International World Wide Web Conference (WWW), pp. 973–982. ACM (2007). 10.1145/1242572.1242704

[28]

Salaün G, Bultan T, and Roohi N Realizability of choreographies using process algebra encodings IEEE Trans. Serv. Comput. 2012 5 3 290-304

[29]

Sangiorgi DOn the origins of bisimulation and coinductionACM Trans. Program. Lang. Syst.200931415:1-15:411285.68112

[30]

Takeuchi K, Honda K, and Kubo M Halatsis C, Maritsas D, Philokyprou G, and Theodoridis S An interaction-based language and its typing system PARLE’94 Parallel Architectures and Languages Europe 1994 Heidelberg Springer 398-413

[31]

W3C: Web Services Choreography Description Language Version 1.0 (2005). https://www.w3.org/TR/ws-cdl-10/

[32]

Winikoff M, Yadav N, and Padgham L A new hierarchical agent protocol notation Auton. Agents Multi-Agent Syst. 2017 32 1 59-133

Cited By

Ferrando AGatti AMascardi VAncona DAudrito G(2023)RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in RasaProceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution10.1145/3605159.3605855(1-8)Online publication date: 18-Jul-2023
https://dl.acm.org/doi/10.1145/3605159.3605855
Khadse AChristie V SSingh MChopra A(2023)Protocol-Based Engineering of MicroservicesEngineering Multi-Agent Systems10.1007/978-3-031-48539-8_4(61-77)Online publication date: 29-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-48539-8_4
Kampik TMansour ABoissier OKirrane SPadget JPayne TSingh MTamma VZimmermann A(2022)Governance of Autonomous Agents on the Web: Challenges and OpportunitiesACM Transactions on Internet Technology10.1145/350791022:4(1-31)Online publication date: 14-Nov-2022
https://dl.acm.org/doi/10.1145/3507910
Show More Cited By

Recommendations

On Enactability of Agent Interaction Protocols: Towards a Unified Approach
AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems

Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce problems. For instance, it is possible to specify protocols from a global ...
From agent interaction protocols to executable code: a model-driven approach
AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

In this paper, we demonstrate how to design protocols with the platform independent modeling language for multiagent systems (Dsml4mas) and discuss a model-driven approach to use protocol descriptions as a base for generating the corresponding agent ...
An Interaction Protocol for Mutual Assistance in Agent Teamwork
CISIS '12: Proceedings of the 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS)

This paper proposes and explores an interaction protocol for incorporating helpful behavior into agent teamwork. In the proposed Mutual Assistance Protocol (MAP), an agent can directly assist a teammate who requests help, provided that the two agents ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers

May 2019

259 pages

ISBN:978-3-030-51416-7

DOI:10.1007/978-3-030-51417-4

© Springer Nature Switzerland AG 2020.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 13 May 2019

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ferrando AGatti AMascardi VAncona DAudrito G(2023)RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in RasaProceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution10.1145/3605159.3605855(1-8)Online publication date: 18-Jul-2023
https://dl.acm.org/doi/10.1145/3605159.3605855
Khadse AChristie V SSingh MChopra A(2023)Protocol-Based Engineering of MicroservicesEngineering Multi-Agent Systems10.1007/978-3-031-48539-8_4(61-77)Online publication date: 29-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-48539-8_4
Kampik TMansour ABoissier OKirrane SPadget JPayne TSingh MTamma VZimmermann A(2022)Governance of Autonomous Agents on the Web: Challenges and OpportunitiesACM Transactions on Internet Technology10.1145/350791022:4(1-31)Online publication date: 14-Nov-2022
https://dl.acm.org/doi/10.1145/3507910
Hosseini SMinarsch DFavorito M(2021)A Practical Framework for General Dialogue-Based Bilateral InteractionsEngineering Multi-Agent Systems10.1007/978-3-030-97457-2_18(312-331)Online publication date: 3-May-2021
https://dl.acm.org/doi/10.1007/978-3-030-97457-2_18
Christie V SChopra A(2020)Fault Tolerance in Multiagent SystemsEngineering Multi-Agent Systems10.1007/978-3-030-66534-0_5(78-86)Online publication date: 8-Jun-2020
https://dl.acm.org/doi/10.1007/978-3-030-66534-0_5

View Options

View options

Figures

Tables

Media

View Table of Conten