Communicating sequential processes
Communicating sequential processes
A logic-based calculus of events
New Generation Computing
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Dynamic Logic
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
Abstract Specification in Object-Z and CSP
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Interaction Protocols in Agentis
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Annals of Mathematics and Artificial Intelligence
Instructions-Based Semantics of Agent Mediated Interaction
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A formal framework for agent interaction semantics
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
OWL-P: a methodology for business process development
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Protocol synthesis with dialogue structure theory
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Formal semantics for AUML agent interaction protocol diagrams
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Reusable components for implementing agent interactions
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
On illegal composition of first-class agent interaction protocols
ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
Annotation and matching of first-class agent interaction protocols
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Engineering Societies in the Agents World VIII
Annotation and Matching of First-Class Agent Interaction Protocols
Argumentation in Multi-Agent Systems
Characterising and matching iterative and recursive agent interaction protocols
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
FSP and FLTL framework for specification and verification of middle-agents
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
An obligation-based framework for web service composition via agent conversations
Web Intelligence and Agent Systems
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
Multiagent and Grid Systems
Hi-index | 0.00 |
Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in order to decide which path an interaction will take. This leads to several problems, three of which are particularly notable: hard-coding the decisions about interaction within an agent strongly couples the agent and the protocols it uses, which means a change to a protocol involves a changes in any agent that uses such a protocol; agents can use only the protocols that are coded into them at design time; and protocols cannot be composed at runtime to bring about more complex interactions. To achieve the full potential of multi-agent systems, we believe that it is important that multi-agent interaction protocols exist at runtime in systems as entities that can be inspected, referenced, composed, and shared, rather than as abstractions that emerge from the behaviour of the participants. We propose a framework, called RASA, which regards protocols as first-class entities. In this paper, we present the first step in this framework: a formal language for specification of agent interaction protocols as first-class entities, which, in addition to specifying the order of messages using a process algebra, also allows designers to specify the rules and consequences of protocols using constraints. In addition to allowing agents to reason about protocols at runtime in order to improve their the outcomes to better match their goals, the language allows agents to compose more complex protocols and share these at runtime.