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
Datum der Publikation: 1988
Jahr: 21
Nummer: 1
Seiten: 28-37
Art: Artikel
Andere Publikationen in: Revista de informática y automática
Zusammenfassung
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.