Autor: BERROCAL COLMENAREJO, Julio José

Título: Definición y estudio de un entorno de desarrollo de protocolos basado en autómatas extendidos

Fecha: 1986

Materia: CIENCIAS TECNOLÓGICAS. Teseo;TECNOLOGIA DE TELECOMUNICACIONES. Teseo

Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION

Departamento: SIN DEPARTAMENTO DEFINIDO

Acceso electrónico:

Director/a(s):

• Director/a: QUEMADA VIVES, Juan

Resumen: Se aborda el estudio de los problemas asociados con la realizacion de protocolos de comunicación considerados dentro de un entorno de desarrollo basado en el uso de técnicas de descripción formal. Primero se analizan los conceptos sobresalientes de un lenguaje de especificación formal denominado estelle en vías de normalización por iso. A causa de la ausencia de una definición formal de la interpretación de dicho lenguaje se proporciona una semántica operacional mediante sistemas de transiciones etiquetadas. La fase de realizacion de un protocolo a partir de una especificación escrita en estelle se acomete con normas para su traducción a un lenguaje estructurado así como con algunas soluciones a problemas de frecuente aparición. Se marcan los objetivos de la fase de pruebas y el papel que juega en ella. La técnica estudiada. Por último se describe un prototipo de entorno de desarrollo que cubre parte de las fases mencionadas