Especificación formal del protocolo para la gestión de las conexiones en Mac IEEE 802.16 utilizando redes de petri coloreadas (CPN)

Abstract

Fueron presentados de manera formal y detallada, los procedimientos involucrados en la gestión de las conexiones enmarcados tanto en la en la especificación del servicio, como en la especificación del protocolo en la MAC IEEE 802.16 utilizando las CPNs. Igualmente, han sido determinadas las posibles secuencias de ocurrencias de primitivas de servicio y analizados los diagramas de transiciones de estado del protocolo representadas a través de un FSA. Esta detallada descripción de los procedimientos, sirvió como base para el desarrollo del modelo, permitiendo identificar las funciones realizadas en cada proceso, y los estados por los cuales pasan las interfaces del servicio y las entidades durante tales funciones. Las tareas de modelado y análisis, han permitido generar las posibles secuencias de primitivas de servicio (lenguaje del servicio) involucradas en los procesos de gestión de las conexiones. Esto representa un aporte significativo en la especificación del servicio y a la especificación del protocolo, ya que en los documentos oficiales del estándar no se hace referencia alguna a tales secuencias. El resultado del análisis realizado a tales secuencias, revela que tales secuencias son correctas y que están acorde a lo especificado bajo ciertas asunciones dadas en el modelo. Igualmente revela que se deben proponer modificaciones a las máquinas de estado presentabas en el protocolo y en los diagramas de transiciones de estados del protocolo con el objeto de hacer más claras y libres de erradas interpretaciones las implementaciones de parte de los fabricantes de la tecnología.