SABER UCV >
1) Investigación >
Proyectos CDCH >

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/123456789/10074

Título : Especificación formal del protocolo para la gestión de las conexiones en Mac IEEE 802.16 utilizando redes de petri coloreadas (CPN)
Autor : Morales Bezeira, Ana Verónica
Palabras clave : Modelado de protocolos
redes móviles
Fecha de publicación : 2014
Editorial : ANUARIO CDCH 2014
Resumen : 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.
URI : http://saber.ucv.ve/jspui/handle/123456789/10074
ISSN : 18565891
Aparece en las colecciones: Proyectos CDCH

Ficheros en este ítem:

Fichero Descripción Tamaño Formato
Especificación formal del protocolo para la gestión de las conexiones en Mac IEEE 802.16 utilizando redes de petri coloreadas (CPN).pdf108.84 kBAdobe PDFVisualizar/Abrir

Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2008 MIT and Hewlett-Packard - Comentarios