- Publications
- Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
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 / Views
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
identifiers
— DOI
— ACM
— IRIS
— Scopus
— WoS / ISI
— print ISSN
0167-6423
notes
— note
Special Issue on Security Issues in Coordination Models, Languages, and Systems