Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Erlang implementation and formal verification of a distributed MAS protocol.
Año:2011
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
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)
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Alvaro Fernandez Diaz (UPM)
  • Autor: Clara Benac Earle (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)