Modelado y análisis de los procesos de creación, cambios y terminación de una conexión entre pares de entidades de la capa MAC en IEEE 802.16 utilizando redes de Petri coloreadas

Abstract

Se presentaron de manera formal y detallada, los procedimientos involucrados en la gestión de las conexiones enmarcados en la Especificación del Servicio en la MAC IEEE 802.16 utilizando las CPNs. Igualmente, han sido determinadas las posibles secuencias de ocurrencias de primitivas de servicio y 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 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, 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.