An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts

We present an organisation infrastructure for open MASs (Multi-Agent Systems) built upon a role-based access control model (RBAC) allowing agent actions toward the other entities in the MAS (agents and resources) to be enabled and controlled. To this end, an Agent Coordination Context (ACC) is created by the infrastructure and assigned to an agent as it enters the MAS. An ACC acts as a sort of private interface for the agent toward the environment: any agent action is thereafter enabled and controlled by its own ACC, which prevents those behaviours that are incorrect with respect to the role(s) played by the agent. For this purpose, each role is assigned a policy that flexibly specifies admissible actions and perceptions over time. Details of this infrastructure are developed formally, through a process-algebraic description of the main infrastructure entities: this is meant to serve as a formal specification of the infrastructure, as well as of the language for expressing policies.

[1]  Andrea Omicini,et al.  Formal Specification and Enactment of Security Policies through Agent Coordination Contexts , 2003, SecCo.

[2]  Andrea Omicini,et al.  RBAC for Organisation and Security in an Agent Coordination Infrastructure , 2005, SecCo.

[3]  Ravi S. Sandhu,et al.  Role-Based Access Control Models , 1996, Computer.

[4]  R. V. Glabbeek CHAPTER 1 – The Linear Time - Branching Time Spectrum I.* The Semantics of Concrete, Sequential Processes , 2001 .

[5]  Rob J. van Glabbeek,et al.  The Linear Time - Branching Time Spectrum II , 1993, CONCUR.

[6]  Emil C. Lupu,et al.  A Policy Language for the Management of Distributed Agents , 2001, AOSE.

[7]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

[8]  Pablo Noriega,et al.  Electronic Institutions: Future Trends and Challenges , 2002, CIA.

[9]  Ramaswamy Chandramouli,et al.  The Queen's Guard: A Secure Enforcement of Fine-grained Access Control In Distributed Data Analytics Platforms , 2001, ACM Trans. Inf. Syst. Secur..

[10]  Andrea Omicini,et al.  Coordination artifacts: environment-based coordination for intelligent agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[11]  Letizia Leonardi,et al.  The RoleX Environment for Multi-agent Cooperation , 2004, CIA.

[12]  Andrea Omicini,et al.  Towards a Notion of Agent Coordination Context , 2020, Process Coordination and Ubiquitous Computing.

[13]  David Kinny ViP: a visual programming language for plan execution systems , 2002, AAMAS '02.

[14]  Hans Weigand,et al.  Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts , 2002, ESAW.

[15]  Alessandro Ricci,et al.  Instructions-based semantics of agent mediated interaction , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..