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...
Main Authors: | , |
---|---|
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 |