Diseño de protocolos: técnicas de especificación y descripción formal

• Autores: Juan Luis Pavón Mestras , Orlando Pereda Soriano , Jesús García Tomás
• Localización: Revista de informática y automática, ISSN 0210-8712, Año 21, Nº. 1, 1988, págs. 28-37
• Idioma: español
• Títulos paralelos:
  • Design of protocols: specification and formal description technics
• Texto completo no disponible (Saber más ...)
• Resumen
  • español

    En este artículo se indica cuál es el proceso de diseño y especificación de un protocolo de comunicación, y se justifica la necesidad de utilizar unas herramientas que permitan realizar los distintos pasos con cierta formalidad para asegurar su corrección. Con el objetivo de determinar tales herramientas se procede al estudio de los requerimientos que éstas deben satisfacer, tratando distintos niveles de especificación: servicios, protocolos e interfaces. A partir de aquí se comentan varias técnicas de descripción formal que se han venido utilizando para esta labor, identificando dos tendencias, una basada en autómatas finitos, y otra en álgebra de procesos comunicantes.

  • English

    In this paper, the design process and the specification of a communication protocol is shown. The necessity to use some tools that allows to realize the different steps with some formalisme, in order to assure, its correction, is justified.

    For determining such tools, the different levels of specification, that must satisfy, are studied: services, protocols and interfases. From this point several ways of formal description are commented, identifying two tendencies, one based on the finite automates an the other one based on the algebra of communicating processes