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

Juan Luis Pavón Mestras , Orlando Pereda Soriano , Jesús García Tomás

• 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