Formal Conversations for the Contract Net Protocol

Authors:
Roberto A. Flores;Rob Kremer
Affiliations:
-;-
Venue:
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Year:
2002

Citing 6
Cited 4

Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods
Agent Communication Languages: Rethinking the Principles

Computer
What Is a Conversation Policy?

Issues in Agent Communication
Bringing Coherence to Agent Conversations

AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Verifiable Semantics for Agent Communication Languages

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

IEEE Transactions on Computers

A Framework for Model-Based Design of Agent-Oriented Software

IEEE Transactions on Software Engineering
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems

Automated Software Engineering
Using a performative subsumption lattice to support commitment-based conversations

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Flexible Conversations Using Social Commitments and a Performatives Hierarchy

Agent Communication II

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the implementation of conversations for the Contract Net Protocol.