Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies


Andrea Omicini, Alessandro Ricci, Mirko Viroli

Science of Computer Programming 63(1), pages 88–107
November 2006

In the context of multi-agent systems (MAS), an Agent Coordination Context (ACC) is an abstraction provided by the infrastructure to each agent entering a MAS, aimed at enabling and controlling all the interactions of the agent with its environment. The notion of ACC features some key properties that help abating system complexity, that is, (i) it works as both a coordination and a security abstraction, (ii) it covers the engineering process from design to deployment, and (iii) it comes equipped with a clear formalisation, thus easing predictability of the MAS behaviour. In particular, in this paper we exploit typical process algebra techniques to define the syntax and semantics of a language for ACC specification, describing patterns of interaction protocols allowed to the agent. This language is shown to be useful to specify and enact integrated policies for security and coordination in MAS. 

(keywords) Coordination; Security; Agent Coordination Context; Formal Specification

Journals & Series

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

— editors

Gianluigi Zavattaro, Riccardo Focardi

— status

published

— sort

article in journal

— publication date

November 2006

— journal

Science of Computer Programming

— volume

63

— issue

1

— pages

88–107

URLs

original page

identifiers

— DOI

10.1016/j.scico.2005.07.014

— ACM

10.1016/j.scico.2005.07.014

— IRIS

11585/29647

— Scopus

2-s2.0-33748754195

— WoS / ISI

000241356300006

— print ISSN

0167-6423

notes

— note

Special Issue on Security Issues in Coordination Models, Languages, and Systems

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY