Definición y estudio de un entorno de desarrollo de protocolos basado en autómatas extendidos

• Autores: Julio José Berrocal Colmenarejo
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1986
• Idioma: español
• Tribunal Calificador de la Tesis: Eugenio Andrés Puente (presid.), Emilio Sanvicente Gargallo (secret.), Fernando Sáez Vacas (voc.), Juan Antonio de la Puente Alfaro (voc.), Juan Bautista Riera García (voc.)
• Materias:
  • Ciencias tecnológicas
    • Tecnología de las telecomunicaciones
• Texto completo no disponible (Saber más ...)
• Resumen

  • Se aborda el estudio de los problemas asociados con la realización 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 realización 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.