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
Any de publicació: 1988
Any: 21
Número: 1
Pàgines: 28-37
Tipus: Article
Altres publicacions en: Revista de informática y automática
Resum
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.