Saber UCV
Repositorio Institucional
Repositorio Institucional
Please use this identifier to cite or link to this item:
https://saber.ucv.ve/handle/10872/22754
|
| Title: | Analysis of the Dynamic Service Flow Management Transactions Protocol for MAC IEEE 802.16. An Aproach |
| Authors: | Morales Bezeira, Ana Verónica Villapol, María Scalise, Eugenio Naranjo, Cesar Alvárez, Fabian |
| Keywords: | Dynamic Service Flow Colored Petri Nets Pitfalls WiMax MAC IEEE 802.16 Protocol Transactions Protocol Language |
| Issue Date: | 20-Jun-2024 |
| Series/Report no.: | XLIII Conferencia Latinoamericana de Informática – CLEI 2017; |
| Abstract: | In this work the WiMax MAC Protocol for Dynamic Service Flow management and their transactions is analyzed by showing this several pitfalls of the specification and how this can affect the implementation of the protocol using Colored Petri Nets (CPNs). A detailed description of the protocol is developed at level of transactions it supports, and at level of service flows. The modeling and analysis of the protocol are important to improve the current specification and to support the reuse of the concepts in emerging networks. We show the potentialities of using a transaction oriented approach in the description of this kind of protocols. The contributions of this paper are focused on providing a clear description of the protocol, presentation of the model, validation and analysis of the model according to the generation of the Dynamic Service Flow management transactions protocol language, as well as the determination of regular expressions Language |
| URI: | http://hdl.handle.net/10872/22754 |
| ISBN: | 978-1-5386-3057-0 |
| Appears in Collections: | Artículos Publicados |
Files in This Item:
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.