In most of the communication protocol specification documents, there is little, if any, use of more formal techniques for specifying the protocols, such as state and service primitive tables. Thus, these documents are sometimes ambiguous, difficult to understand, and imprecise. The IEEE 802.16 standard document is responsible for specifying and describing the air interface of the BWA systems (Broadband Wireless Access Systems) point to multipoint fixed and mobile networks, and is limited to the description of the MAC(Medium Access Control) layer and physical (PHY). Since the MAC layer is connection-oriented, the standard defines how the connection management service is provided. The service is specified as the occurrence of a set of well-defined service primitives. However, the description of the service specification is somehow informal and presents some ambiguities and inconsistences. So in this paper, we describe the omissions, uncertainties and discrepancies found in the standard documents and propose some solutions to fix these problems. We also provide a formal description of the connection management service specification using Finite State Automata (FSA).
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).