Parametric protocol-driven agents and their integration in JADE

In this paper we introduce “Template Global Types” which extend Constrained Global Types to support a more generic and modular approach to define protocols, meant as patterns of events of a given type. Protocols can be used both for monitoring the behavior of distributed computational entities and for driving it. In this paper we show the potential of Template Global Types in the domain of protocol-driven intelligent software agents. The interpreter for “executing” Template Global Types has a very natural implementation in Prolog which can easily implement the transition rules for moving from one state to another one, given that an event has been perceived (in case of monitoring) or generated for execution (in case of protocol-driven behavior). This interpreter has been integrated into the Jason logic-based agent framework with limited effort, thanks to the native support that Jason offers to Prolog. In order to demonstrate the flexibility and portability of our approach, which goes beyond the boundaries of logic-based frameworks, in this paper we discuss the integration of the protocol-driven interpreter into the JADE agent framework, entirely implemented in Java.

[1]  Marco Colombetti,et al.  Artificial institutions: a model of institutional reality for open multiagent systems , 2008, Artificial Intelligence and Law.

[2]  Marco Colombetti,et al.  An Infrastructure for the Design and Development of Open Interaction Systems , 2013, EMAS@AAMAS.

[3]  Baldoni Matteo,et al.  Reasoning about Social Relationships with Jason , 2014 .

[4]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[5]  Mariangiola Dezani-Ciancaglini,et al.  Self-Adaptive Monitors for Multiparty Sessions , 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

[6]  Marco Colombetti,et al.  Agent communication and artificial institutions , 2007, Autonomous Agents and Multi-Agent Systems.

[7]  Roberto Micalizio,et al.  Programming with Commitments and Goals in JaCaMo+ , 2015, AAMAS.

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

[9]  Davide Ancona,et al.  Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems , 2013, Theory Pract. Log. Program..

[10]  Davide Ancona,et al.  Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog , 2014, CILC.

[11]  Franco Zambonelli,et al.  Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles , 2011, 2011 International Conference on Collaboration Technologies and Systems (CTS).

[12]  Danny Weyns,et al.  Self-Adaptation Using Multiagent Systems , 2010, IEEE Software.

[13]  KarageorgosAnthony,et al.  Self-organization in multi-agent systems , 2005 .

[14]  Bradley R. Schmerl,et al.  Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.

[15]  Fuyuki Ishikawa,et al.  Protocol Selection alongside Service Selection and Composition , 2007, IEEE International Conference on Web Services (ICWS 2007).

[16]  Davide Ancona,et al.  Constrained global types for dynamic checking of protocol conformance in multi-agent systems , 2013, SAC '13.

[17]  Leon Sterling,et al.  The ROADMAP Meta-model for Intelligent Adaptive Multi-agent Systems in Open Environments , 2003, AOSE.

[18]  Franco Zambonelli,et al.  On Self-Adaptation, Self-Expression, and Self-Awareness in Autonomic Service Component Ensembles , 2011, 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[19]  Marie-Pierre Gleizes,et al.  Self-adaptive Complex Systems , 2011, EUMAS.

[20]  Reasoning about constitutive norms in BDI agents , 2014, Log. J. IGPL.

[21]  Cristina Baroglio,et al.  A Commitment-Based Infrastructure for Programming Socio-Technical Systems , 2014, TOIT.

[22]  Amal El Fallah Seghrouchni,et al.  Automatic generation of self-controlled autonomous agents , 2005, IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[23]  Matteo Pradella,et al.  An Analysis of Language-Level Support for Self-Adaptive Software , 2013, TAAS.

[24]  Angelo Ferrando,et al.  Global Protocols as First Class Entities for Self-Adaptive Agents , 2015, AAMAS.

[25]  Samir Aknine,et al.  Dynamic Protocol Selection in Open and Heterogeneous Systems , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[26]  Cristina Baroglio,et al.  Typing Multi-Agent Systems via Commitments , 2014, EMAS@AAMAS.