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.

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

OMICINI, ANDREA;RICCI, ALESSANDRO;VIROLI, MIRKO
2006

Abstract

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.
2006
Omicini Andrea; Ricci Alessandro; Viroli Mirko
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/29647
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 7
social impact