Tesis Doctorales UPM: Consulta online

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