Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of Manifold and its implementation
Concurrency: Practice and Experience
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Role-Based Access Control Models
Computer
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Models and technologies for the coordination of Internet agents: a survey
Coordination of Internet agents
Communication and Concurrency
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing
Role Modeling for Agent System Analysis, Design, and Implementation
IEEE Concurrency
Standardizing Agent Communication
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Coordinating Mobile Agents via Blackboards and Access Rights
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Electronic Institutions: Future Trends and Challenges
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
Multiagent System Engineering: The Coordination Viewpoint
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
A Policy Language for the Management of Distributed Agents
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
An Automated Teamwork Infrastructure for Heterogeneous Software Agents and Humans
Autonomous Agents and Multi-Agent Systems
Separation of Duty in Role-based Environments
CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
A preliminary taxonomy of multi-agent interactions
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
IBM Systems Journal
Challenges and Research Directions in Agent-Oriented Software Engineering
Autonomous Agents and Multi-Agent Systems
Activity theory as a framework for MAS coordination
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Objective versus subjective coordination in the engineering of agent systems
Intelligent information agents
Supporting Secure Coordination in SecSpaces
Fundamenta Informaticae
Fundamenta Informaticae
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Securely accessing shared resources with concurrent constraint programming
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
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.