Abstract

MORALES, Ana  and  VILLAPOL, María. Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach . CLEIej [online]. 2013, vol.16, n.2, pp.2-2. ISSN 0717-5000.

En la mayoría de los documentos de especificación de protocolos de comunicación, hay poca, uso de métodos formales para la especificación de los protocolos, como las tablas de estado y primitivas de servicio. Así, estos documentos son a veces ambiguos, difíciles de entender, e imprecisos. El documento del estándar IEEE 802.16  es responsable de especificar y describir la interfaz de aire de los sistemas de BWA (Sistemas de Acceso Inalámbrico de Banda Ancha) de redes punto a multipunto fijas y móviles, y se limita a la descripción de la MAC (Medium Access Control) y la capa física (PHY). Puesto que la capa MAC es orientada a la conexión, la norma define cómo el servicio de gestión de conexión se proporciona. El servicio se especifica como la ocurrencia de un conjunto de primitivas de servicio bien definidas. Sin embargo, la descripción de la especificación del servicio es de alguna manera informal y presenta algunas ambigüedades e inconsistencias. Así que en este artículo se describen las omisiones, incertidumbres y discrepancias encontradas en los documentos del estándar, y se proponen algunas soluciones para corregir estos problemas. También proporcionamos una descripción formal de la especificación del servicio para la gestión de las conexiones mediante autómatas de estados finitos (FSA).

Keywords : IEEE 802.16; la capa MAC; primitivas de servicio; Especificación de Servicio; Autómatas de estados finitos (FSA).

        · abstract in English     · text in English     · English ( pdf )