Una Revisión Formal a la Especificación del Servicio para la Gestión de las Conexiones en la Capa MAC IEEE 802.16

Abstract

Muchos de los estándares y tecnologías de comunicación desarrollados hacen muy poco uso de métodos formales para especificar y describir los protocolos de comunicación que los soportan, resultando en documentos, muchas veces ambiguos, difíciles de entender e imprecisos. El estándar IEEE 802.16 y sus posteriores revisiones, se encarga de especificar y describir la interfaz aire de los Sistemas BWA (Broadband Wireless Access, Sistemas Acceso Inalámbricos de Banda Ancha,) punto-multipunto fijos y móviles para redes de área metropolitana; y se limita a la descripción de las capas MAC (Medium Access Control, Control de Acceso al Medio) y física (PHY). La capa MAC está orientada a la conexión, por lo cual algunas de sus funciones están relacionadas a la gestión de las conexiones, y para éstos procesos han sido definidas en el estándar un conjunto de primitivas de servicio. Sin embargo, la revisión presentada evidencia que la descripción de la especificación del servicio carece de una adecuada y detallada descripción. En el presente trabajo han sido utilizadas las Redes de Petri Coloreadas como método formal para llevar a cabo una descripción minuciosa y detallada de la especificación del servicio para la gestión de las conexiones de la MAC.