¿Protocolo?
Conjunto de reglas o convenios que gobiernan el formato y el control de la información transmitida a través de una red.
Protocolos como Lenguajes
La definición completa de un protocolo se parece mucho a la definición de un lenguaje:
Define el formato preciso de
mensajes válidos (sintaxis)
Define las reglas para el intercambio de datos (gramática)
Define un vocabulario de mensajes válidos que pueden ser intercambiados,
con su significado (semántica).
La gramática del protocolo debe ser consistente y completa: bajo cualquier
circunstancia las reglas deben dictar de manera no ambigua lo que está
prohibido y lo que está permitido.
Estandarización de
Protocolos
ISO: International Standards Organization.
-
ANSI: American National Standards Institute. Código ASCII, interfaz RS-232.
CCITT: Comité Consultatif International Télégraphique et Téléphonique.
-
Recomendaciones X.21 y X.25
Se requiere de métodos convincentes y efectivos para:
-
Diseñar y describir protocolos
-
Verificar que el protocolo es correcto.
Se han desarrollado tres lenguajes para la especificación de protocolos: SDL, Lotos y Estelle, conocidos como las tres FDT's (Técnicas de Descripción Formal).
Las tres FDT's
<> SDL (Specification and Description Language). Desarrollado por el CCITT
(1987). Inicialmente creado para la especificación y el diseño de sistemas
de telecomunicaciones.
<> Lotos (Language of Temporal Ordering Specifications). Desarrollado por ISO (1989). Especificación formal del comportamiento de los procesos desde un alto nivel de abstracción.
<> Estelle. Desarrollado por ISO (1989). Basado en una extensión de concepto de máquina de estado finito.
Identificación del problema
¿Cómo diseñar un conjunto de reglas para el intercambio de información que sean mínimas, consistentes, completas e implementadas de manera eficiente?
Disciplina de diseño
Durante el diseño del protocolo se seguirá un conjunto de reglas autoimpuestas que ayudarán a evitar posteriores problemas. Además, se seguirá la siguiente política:
Todo protocolo debe ser considerado como incorrecto, hasta que se demuestre lo contrario.
Herramientas de diseño
Los métodos de diseño que se usarán están basados en el modelo de validación. Un modelo de validación:
-
Expresa las características esenciales del protocolo.
-
No entra en detalles de implementación.
Herramientas automatizadas interpretan estos modelos de validación y reportan deficiencias de diseño.
PROMELA (Protocol Meta Language). AT&T Bell Labs. Gerard Holzmann.
Ejercicios:
-
¿Cuál es el propósito del diseño de protocolos?
-
Escriba el nombre de cinco protocolos de comunicación.
-
Describa las principales características del TCP/IP.
-
En qué consisten las Técnicas de Descripción Formal?
- Cuáles organizaciones definen la estandarización de protocolos?
