14
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach

      research-article

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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).

          Translated abstract

          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).

          Related collections

          Most cited references14

          • Record: found
          • Abstract: not found
          • Book: not found

          Design an Validation of Computer Protocols

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Modelado del establecimiento de la conexión entre dos dispositivos bluetooth usando las redes de Petri coloreadas

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              IEEE Standard 802.16: A Technical Overview of the Wireless MAN™ Air Interface for Broadband Wireless Access

                Bookmark

                Author and article information

                Contributors
                Role: ND
                Role: ND
                Journal
                cleiej
                CLEI Electronic Journal
                CLEIej
                Centro Latinoamericano de Estudios en Informática (Montevideo )
                0717-5000
                August 2013
                : 16
                : 2
                : 2
                Affiliations
                [1 ] universidad central de venezuela Venezuela
                Article
                S0717-50002013000200002
                eb3fdbdf-ada4-4ebb-af86-f5693a3b683f

                http://creativecommons.org/licenses/by/4.0/

                History
                Product

                SciELO Uruguay

                Self URI (journal page): http://www.scielo.edu.uy/scielo.php?script=sci_serial&pid=0717-5000&lng=en
                Categories
                COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
                COMPUTER SCIENCE, CYBERNETICS
                COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
                COMPUTER SCIENCE, INFORMATION SYSTEMS
                COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS
                COMPUTER SCIENCE, SOFTWARE ENGINEERING
                COMPUTER SCIENCE, THEORY & METHODS
                ENGINEERING, ELECTRICAL & ELECTRONIC

                Software engineering,Theoretical computer science,Robotics,Information systems & theory,Artificial intelligence,Electrical engineering,General computer science,Hardware architecture
                Finite State Automata,Service Specification,Autómatas de estados finitos (FSA),Especificación de Servicio,primitivas de servicio,MAC Layer,IEEE 802.16,la capa MAC,Service Primitives

                Comments

                Comment on this article