Tesis:
Definición y estudio de un entorno de desarrollo de protocolos basado en autómatas extendidos
- 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
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: 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