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


Andrea Omicini, Alessandro Ricci, Mirko Viroli

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

Science of Computer Programming 63(1), pp. 88-107, November 2006.
Gianluigi Zavattaro, Riccardo Focardi (a cura di), Elsevier Science B.V..
Special Issue on Security Issues in Coordination Models, Languages, and Systems

@article{acc-scp63,
       Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
       Doi = {10.1016/j.scico.2005.07.014},
       Editor = {Zavattaro, Gianluigi and Focardi, Riccardo},
       Issn = {0167-6423},
       Journal = {Science of Computer Programming},
       Keywords = {Coordination; Security; Agent Coordination Context; Formal Specification},
       Month = nov,
       Note = {Special Issue on Security Issues in Coordination Models, Languages, and Systems},
       Number = 1,
       Pages = {88--107},
       Publisher = {Elsevier Science B.V.},
       ScopusId = {2-s2.0-33748754195},
       Title = {{A}gent {C}oordination {C}ontexts for the Formal Specification and Enactment of Coordination and Security Policies},
       Url = {http://www.sciencedirect.com/science/article/pii/S016764230600102X},
       WosId = {000241356300006},
       Volume = 63,
       Year = 2006}

Riviste & collane

Pubblicazione

— autori/autrici

Andrea Omicini, Alessandro Ricci, Mirko Viroli

— a cura di

Gianluigi Zavattaro, Riccardo Focardi

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Science of Computer Programming

— volume/numero

63 (1)

— data di pubblicazione

November 2006

— pagine

88-107

URL & ID

pagina originale

— DOI

10.1016/j.scico.2005.07.014

— IRIS

11585/29647

— Scopus

2-s2.0-33748754195

— WoS / ISI

000241356300006

— print ISSN

0167-6423

BibTeX

— BibTeX ID
AccScp63
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY