Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach
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.1...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Centro Latinoamericano de Estudios en Informática
2013-08-01
|
Series: | CLEI Electronic Journal |
Online Access: | http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/119 |
id |
doaj-cd53df58de694d429fe85f75dcd63b0e |
---|---|
record_format |
Article |
spelling |
doaj-cd53df58de694d429fe85f75dcd63b0e2020-11-25T00:26:20ZengCentro Latinoamericano de Estudios en InformáticaCLEI Electronic Journal0717-50002013-08-0116210.19153/cleiej.16.2.2Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal ApproachAna MoralesMaría Villapol 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). http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/119 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Ana Morales María Villapol |
spellingShingle |
Ana Morales María Villapol Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach CLEI Electronic Journal |
author_facet |
Ana Morales María Villapol |
author_sort |
Ana Morales |
title |
Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach |
title_short |
Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach |
title_full |
Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach |
title_fullStr |
Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach |
title_full_unstemmed |
Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach |
title_sort |
reviewing the service specification of the ieee 802.16 mac layer connection management: a formal approach |
publisher |
Centro Latinoamericano de Estudios en Informática |
series |
CLEI Electronic Journal |
issn |
0717-5000 |
publishDate |
2013-08-01 |
description |
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).
|
url |
http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/119 |
work_keys_str_mv |
AT anamorales reviewingtheservicespecificationoftheieee80216maclayerconnectionmanagementaformalapproach AT mariavillapol reviewingtheservicespecificationoftheieee80216maclayerconnectionmanagementaformalapproach |
_version_ |
1725344581790203904 |