Autor: PAVON MESTRAS, Juán

Título: Síntesis de protocolos de comunicación a partir de especificaciones de servicio

Fecha: 1988

Materia: MATEMÁTICAS. Teseo;CIENCIAS DE LA COMPUTACIÓN. Teseo;SOFTWARE. Teseo;SISTEMAS DE INFORMACIÓN. Teseo

Escuela: FACULTAD DE INFORMATICA

Departamento: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE

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

Director/a(s):

• Director/a: GARCIA TOMAS, Jesús

Resumen: En este trabajo se desarrolla un método de síntesis de protocolos pares a partir de especificaciones de servicios. Primero se discute el estado de aplicación de las técnicas de descripción formal en el diseño de protocolos. Seguidamente se presenta un lenguaje para la especificación de servicios (les) basado en una lógica temporal lineal. Un servicio de nivel se especifica en les como un conjunto de fórmulas temporales que definen las relaciones que pueden existir en la ocurrencia de primitivas de servicio, la aplicación del lenguaje se ilustra con los servicios proporcionados por los protocolos tipo de bit, alternante y abracadabra. Utilizando especificaciones de servicios en les se plantea un método basado en reglas de transformación que sintetiza dos entidades de protocolo, expresadas con un lenguaje basado en un modelo de autómatas finitos comunicantes denominado lep (lenguaje de especificación de protocolos). Se muestra su aplicación con la síntesis de los protocolos de bit alternante y abracadabra sobre un medio dúplex con perdidas. Finalmente se discute el desarrollo de un entorno de diseño de protocolos basado en los lenguajes les y lep