Diseño de protocolostécnicas de especificación y descripción formal
- Pavón Mestras, Juan Luis
- Pereda Soriano, Orlando
- García Tomás, Jesús
ISSN: 0210-8712
Año de publicación: 1988
Año: 21
Número: 1
Páginas: 28-37
Tipo: Artículo
Otras publicaciones en: Revista de informática y automática
Resumen
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.