Formal Verification of a Simple Automated Negotiation Protocol

@inproceedings{Dimitoglou2006FormalVO,
  title={Formal Verification of a Simple Automated Negotiation Protocol},
  author={George Dimitoglou and Okan Duzyol and Lawrence Owusu},
  booktitle={Software Engineering Research and Practice},
  year={2006}
}
Negotiation is a complex human activity and even in its most basic form consists of three elements: communication, strategy and bid evaluation. The elements are exactly the same in automated negotiation. In this paper we present four possible approaches for bid evaluation and strategy but we mainly focus on the communication aspect of the negotiation. Communication lends itself well to be specified and modeled as a protocol, so we introduce a basic automated negotiation protocol which we… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.

Improvement of a service level negotiation protocol using formal verification

  • 2013 IEEE Symposium on Computers and Communications (ISCC)
  • 2013
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES

Communicating Agents Developed with Genetic Programming, Genetic Algorithms and Genetic Programming at Stanford

M. Almgren
  • 2000
VIEW 2 EXCERPTS

Editor. Guide to Evolutionary Computation, Web Page

Heitkoetter, D J.Beasley
  • Nov 20. URL: ftp://ftp.cs.wayne.edu/pub/EC/FAQ/part1
  • 1999

The Model Checker SPIN

  • IEEE Trans. Software Eng.
  • 1997
VIEW 1 EXCERPT