Descripción
|
|
---|---|
In this paper we present the verification of a multi-agent negotiation protocol known as the extended Contract Net Protocol. The verification of this kind of highly concurrent and distributed systems is computationally hard. We present some evidence which shows that the functional programming language Erlang is a very good choice for implementing this kind of systems together with the use of McErlang model checker as formal verificaton tool. That combination allowed us to carry out an analysis that revealed a mispecification of the protocol that derives from the non-deterministic behaviour of distributed systems. | |
Internacional
|
No |
Nombre congreso
|
XI Jornadas sobre Programación y Lenguajes (PROLE2011) |
Tipo de participación
|
960 |
Lugar del congreso
|
A Coruña |
Revisores
|
Si |
ISBN o ISSN
|
978-84-9749-487-8 |
DOI
|
|
Fecha inicio congreso
|
05/09/2011 |
Fecha fin congreso
|
07/09/2011 |
Desde la página
|
111 |
Hasta la página
|
125 |
Título de las actas
|
Actas de las XI Jornadas sobre Programación y Lenguajes (PROLE2011) |