Mostrar el registro sencillo del ítem

IEEE 802.16 MAC Protocol for the Management of Connections and Dynamic Service Flows

dc.creatorMorales Bezeira, Anaen
dc.date2026-05-31
dc.date.accessioned2026-08-03T16:43:31Z
dc.date.available2026-08-03T16:43:31Z
dc.identifierhttps://imjeta.org/index.php/IMJETA/article/view/Modelling-Functional-Validation-IEEE-80216-MAC-Protocol-Dynamic-
dc.identifier10.67294/fxjtbm63
dc.identifier.urihttp://bdigital2.ula.ve:8080/xmlui/654321/26930
dc.descriptionThe IEEE 802.16 standard specifies and describes the air interface of the Broadband Wireless Access Systems point to multipoint fixed and mobile networks, and it is limited to the description of the MAC (Medium Access Control) layer and physical (PHY) layer. The standard defines informally an unmanageable set of procedures associated with the service flows (SF) at the MAC layer, also related to a connection element called dynamic service flows (DSF). This research defines the management of these connections as "IEEE 802.16 MAC Protocol for Connection Management and DSF", and studies the protocol to facilitate the reuse of some the concepts in the specification of emerging wireless networks. This research modelled and analysed the protocol using Coloured Petri Nets and the protocol verification methodology proposed by J. Billington. The results are a detailed and precise description of the protocol, and the service specification; the functional validation of such models through the determination of regular expressions of the language; the generation of the protocol language and the service specification; different drawbacks in the specification; and the PROSEGA/CPN Software to simplify the analysis of the models.en
dc.formatapplication/pdf
dc.languageen
dc.publisherGrupo Afronta C.A.en
dc.relationhttps://imjeta.org/index.php/IMJETA/article/view/Modelling-Functional-Validation-IEEE-80216-MAC-Protocol-Dynamic-/13
dc.rightsCopyright (c) 2026 Dra. Ana Morales Bezeira (Author)en
dc.rightshttps://creativecommons.org/licenses/by-nc-nd/4.0en
dc.sourceInternational Multidisciplinary Journal of Emerging Technologies and Applications; Vol. 1 No. 2 (2026); 70-94en
dc.source3135-6214
dc.subjectService Flowen
dc.subjectDynamic Service Flowsen
dc.subjectProtocol for Management of Connectionsen
dc.subjectColoured Petri Netsen
dc.subjectPROSEGA/CPNen
dc.titleIEEE 802.16 MAC Protocol for the Management of Connections and Dynamic Service Flowsen
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem