KQML as an agent communication language
Software agents
Protocols and intentional specifications of multi-party agent conversions for brokerage and auctions
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Agent communication transfer protocol
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Designing Agent Communication Languages for Multi-agent Systems
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Using Colored Petri Nets for Conversation Modeling
Issues in Agent Communication
Implementing Agent Management Using Conversation Patterns and Role Theory
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Hi-index | 0.00 |
Multi-Party agent conversations occur frequently in multi-agent systems, for example in brokering. However, clear, formal and unambiguous specifications of the semantics of such conversations are essential for open implementation by different developers. We address this issue by generalizing a protocol-based semantic framework for expressing the semantics of Agent Communication Languages. This is used to give formal specifications of brokerage protocols, which are implemented on top of an agent-oriented middleware system. We conclude that an emphasis on design and formal specification languages in agent communication leads to clearer interfaces, improved development prospects, better re-use and with a potentially significant impact on standardisation efforts.