On the Enactability of Agent Interaction Protocols: Toward a Unified Approach

Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce issues. For instance, it is possible 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. We consider this question in a powerful setting (trace expression), considering a range of message ordering interpretations (what does it mean 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 underlying communication middleware.

[1]  Angelo Ferrando,et al.  Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification , 2016, Theory and Practice of Formal Methods.

[2]  Munindar P. Singh,et al.  On the Enactability of Business Protocols , 2008, AAAI.

[3]  Angelo Ferrando,et al.  Parametric Trace Expressions for Runtime Verification of Java-Like Programs , 2017, FTfJP@ECOOP.

[4]  Vasco Thudichum Vasconcelos,et al.  Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication , 1998, SecReT@ICALP.

[5]  Angelo Ferrando,et al.  Parametric Runtime Verification of Multiagent Systems , 2017, AAMAS.

[6]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[7]  Angelo Ferrando,et al.  Decentralizing MAS Monitoring with DecAMon , 2017, AAMAS.

[8]  Ivan Lanese,et al.  Bridging the Gap between Interaction- and Process-Oriented Choreographies , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

[9]  Davide Sangiorgi,et al.  On the origins of bisimulation and coinduction , 2009, TOPL.

[10]  Marc-Philippe Huget,et al.  Representing agent interaction protocols with agent UML , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[11]  Winfried Lamersdorf,et al.  Jadex: A BDI Reasoning Engine , 2005, Multi-Agent Programming.

[12]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[13]  Nelma Moreira,et al.  Automata for regular expressions with shuffle , 2018, Inf. Comput..

[14]  Kohei Honda,et al.  An Interaction-based Language and its Typing System , 1994, PARLE.

[15]  D. Ancona,et al.  Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study , 2016, EMAS@AAMAS.

[16]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[17]  Angelo Ferrando,et al.  Recognising Assumption Violations in Autonomous Systems Verification , 2018, AAMAS.

[18]  Chao Cai,et al.  Towards the theoretical foundation of choreography , 2007, WWW '07.

[19]  Davide Ancona,et al.  Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason , 2012, DALT.

[20]  Luca Padovani,et al.  On Global Types and Multi-party Sessions , 2011, FMOODS/FORTE.

[21]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[22]  Luca Padovani,et al.  On Global Types and Multi-Party Session , 2012, Log. Methods Comput. Sci..

[23]  Aurélie Hurault,et al.  On the diversity of asynchronous communication , 2016, Formal Aspects of Computing.

[24]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.