A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams

Unified Modelling Language (UML) has been conferred as the de facto standard in modeling by majority in the software system development community. Among the various types of diagrams that exist under the umbrella of UML is Sequence Diagram. Sequence Diagrams are capable of modeling interactional beh...

Full description

Bibliographic Details
Main Authors: M. A., Ameedeen, Bordbar, Behzad
Format: Conference or Workshop Item
Language:English
Published: IEEE 2012
Subjects:
Online Access:http://umpir.ump.edu.my/id/eprint/6813/
http://umpir.ump.edu.my/id/eprint/6813/
http://umpir.ump.edu.my/id/eprint/6813/
http://umpir.ump.edu.my/id/eprint/6813/1/A_Case_Analysis_of_IEEE_802.11_CSMACA_.pdf
id ump-6813
recordtype eprints
spelling ump-68132017-03-29T02:49:52Z http://umpir.ump.edu.my/id/eprint/6813/ A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams M. A., Ameedeen Bordbar, Behzad T Technology (General) Unified Modelling Language (UML) has been conferred as the de facto standard in modeling by majority in the software system development community. Among the various types of diagrams that exist under the umbrella of UML is Sequence Diagram. Sequence Diagrams are capable of modeling interactional behaviours as well as dynamic happenings in a system, and as such are generally used in the modeling of complex software systems. However in this paper, Sequence Diagrams are used in the modeling of the IEEE 802.11 Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. The Sequence Diagram representing this protocol will then be used for formal, mathematical analysis by first transforming the Sequence Diagram through the MDA model transformation tool called SD2PN, and performing analysis such as liveness analysis, boundedness analysis and reachability analysis of the resulting Petri Net. IEEE 2012 Conference or Workshop Item PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/6813/1/A_Case_Analysis_of_IEEE_802.11_CSMACA_.pdf M. A., Ameedeen and Bordbar, Behzad (2012) A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams. In: Fourth International Conference on Computational Intelligence, Modelling and Simulation , 25-27 September 2012 , Kuantan, Pahang. pp. 347-351.. ISSN 2166-8531 ISBN 978-1-4673-3113-5 http://dx.doi.org/10.1109/CIMSim.2012.41 10.1109/CIMSim.2012.41
repository_type Digital Repository
institution_category Local University
institution Universiti Malaysia Pahang
building UMP Institutional Repository
collection Online Access
language English
topic T Technology (General)
spellingShingle T Technology (General)
M. A., Ameedeen
Bordbar, Behzad
A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
description Unified Modelling Language (UML) has been conferred as the de facto standard in modeling by majority in the software system development community. Among the various types of diagrams that exist under the umbrella of UML is Sequence Diagram. Sequence Diagrams are capable of modeling interactional behaviours as well as dynamic happenings in a system, and as such are generally used in the modeling of complex software systems. However in this paper, Sequence Diagrams are used in the modeling of the IEEE 802.11 Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. The Sequence Diagram representing this protocol will then be used for formal, mathematical analysis by first transforming the Sequence Diagram through the MDA model transformation tool called SD2PN, and performing analysis such as liveness analysis, boundedness analysis and reachability analysis of the resulting Petri Net.
format Conference or Workshop Item
author M. A., Ameedeen
Bordbar, Behzad
author_facet M. A., Ameedeen
Bordbar, Behzad
author_sort M. A., Ameedeen
title A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
title_short A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
title_full A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
title_fullStr A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
title_full_unstemmed A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
title_sort case analysis of ieee 802.11 csmaca protocol via sequence diagrams
publisher IEEE
publishDate 2012
url http://umpir.ump.edu.my/id/eprint/6813/
http://umpir.ump.edu.my/id/eprint/6813/
http://umpir.ump.edu.my/id/eprint/6813/
http://umpir.ump.edu.my/id/eprint/6813/1/A_Case_Analysis_of_IEEE_802.11_CSMACA_.pdf
first_indexed 2023-09-18T22:02:55Z
last_indexed 2023-09-18T22:02:55Z
_version_ 1777414518092070912