El servicio se especifica como la ocurrencia de un conjunto de primitivas de servicio bien definidas. 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 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). Así, estos documentos son a veces ambiguos, difíciles de entender, e imprecisos. We also provide a formal description of the connection management service specification using Finite State Automata (FSA).Įn 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. So in this paper, we describe the omissions, uncertainties and discrepancies found in the standard documents and propose some solutions to fix these problems. However, the description of the service specification is somehow informal and presents some ambiguities and inconsistences. The service is specified as the occurrence of a set of well-defined service primitives. Since the MAC layer is connection-oriented, the standard defines how the connection management service is provided. 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). Thus, these documents are sometimes ambiguous, difficult to understand, and imprecise. Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approachįacultad de Ciencias, Universidad Central de VenezuelaĬaracas, Venezuela, 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.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |