Un método para la especificación y validación de la estructura lógica de los protocolos de comunicación

Abstract

En este trabajo se presentan dos aspectos de una metodología nueva de diseño de protocolos, concretamente, los referentes a la especificación y validación de la estructura lógica de protocolos de comunicación. Para especificar el funcionamiento de los elementos integrantes de los protocolos se crea un lenguaje descriptivo de alto nivel, el LDP. Las descripciones de protocolos en LDP son el puntode partida de los algoritmos de validación que se proponen. La validación se basa en la construcción de un árbol que expresa todos los posibles caminos de ejecución del protocolo y permite detectar errores en su estructura lógica tales como bloqueos, bloqueos temporales, comportamiento cíclico, etc.

In this work two aspects of a new methodology for designing communication protocols are presented. They are those related with the specification and the validation of the logical structure of protocols. A high level descriptive language, LDP, is introduced for specification purposes. The LDP descriptions constitute the starting point for the proposed validation algorithms. The validation is based in the generation of a tree reflecting all the execution paths of the protocol and it permits to detect errors in its logical structure such as deadlocks, tempo-blocking, cyclic behaviour and so on.