Autor: PEREDA SORIANO, Orlando

Título: Validación de protocolos. Una aproximación algebraíca

Fecha: 1987

Materia: Sin materia definida

Escuela: FACULTAD DE INFORMATICA

Departamento: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE

Acceso electrónico: http://oa.upm.es/10327/

Director/a(s):

• Director/a: GARCIA TOMAS, Jesús

Resumen: El entorno del trabajo se sitúa en la investigación de varios aspectos de la ingeniería del software, entre otros, la modelización, especificación y validación además de la aplicación de tal ingeniería, al desarrollo de herramientas y técnicas para los protocolos de comunicación en el entorno de la Interconexión de Sistemas Abiertos (ISA).En el presente trabajo se introduce un modelo algebraico encaminado a la validación de la corrección de protocolos, que además unifica las consideraciones de rendimiento y prestaciones, a través de una semántica probabilísta. Partiendo de tal modelo, se propone una metodología de diseño para facilitar el buen rendimiento de la validación de las especificaciones de protocolos y servicios, antes de la etapa de implementación. La propuesta de la metodología concreta lleva asociado el desarrollo de herramientas apropiadas para la validación de especificaciones que, tomando como base el modelo propuesto, permiten el uso de diferentes lenguajes de especificación formal, cada uno posiblemente adecuado a la descripción de diferentes elementos de los sistemas distribuidos, y adaptados a la validación: Se toman como casos de estudio Lotos y Estelle