A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN
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 be...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English English |
| Published: |
United Kingdom Simulation Society
2014
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/8260/ http://umpir.ump.edu.my/id/eprint/8260/1/A_Model_Driven_Analysis_of_the_802.11_CSMA-CA_Protocol_through_SD2PN.pdf http://umpir.ump.edu.my/id/eprint/8260/3/A%20Model%20Driven%20Analysis%20of%20the%20802.11%20CSMA-CA%20Protocol%20through%20SD2PN.pdf |
| _version_ | 1848818193850695680 |
|---|---|
| author | M. A., Ameedeen Bordbar, Behzad |
| author_facet | M. A., Ameedeen Bordbar, Behzad |
| author_sort | M. A., Ameedeen |
| building | UMP Institutional Repository |
| collection | Online Access |
| 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. |
| first_indexed | 2025-11-15T01:33:47Z |
| format | Article |
| id | ump-8260 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English English |
| last_indexed | 2025-11-15T01:33:47Z |
| publishDate | 2014 |
| publisher | United Kingdom Simulation Society |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | ump-82602016-06-28T04:18:06Z http://umpir.ump.edu.my/id/eprint/8260/ A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN M. A., Ameedeen Bordbar, Behzad QA76 Computer software 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. United Kingdom Simulation Society 2014 Article PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/8260/1/A_Model_Driven_Analysis_of_the_802.11_CSMA-CA_Protocol_through_SD2PN.pdf application/pdf en http://umpir.ump.edu.my/id/eprint/8260/3/A%20Model%20Driven%20Analysis%20of%20the%20802.11%20CSMA-CA%20Protocol%20through%20SD2PN.pdf M. A., Ameedeen and Bordbar, Behzad (2014) A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN. International Journal of Simulation: Systems, Science & Technology (IJSSST), 15 (1). pp. 44-50. ISSN 1473-8031 (print); 1473-804x (online). (Published) http://ijssst.info/Vol-15/No-1/paper6.pdf |
| spellingShingle | QA76 Computer software M. A., Ameedeen Bordbar, Behzad A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN |
| title | A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN |
| title_full | A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN |
| title_fullStr | A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN |
| title_full_unstemmed | A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN |
| title_short | A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN |
| title_sort | model driven analysis of the 802.11 csma/ca protocol through sd2pn |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/8260/ http://umpir.ump.edu.my/id/eprint/8260/ http://umpir.ump.edu.my/id/eprint/8260/1/A_Model_Driven_Analysis_of_the_802.11_CSMA-CA_Protocol_through_SD2PN.pdf http://umpir.ump.edu.my/id/eprint/8260/3/A%20Model%20Driven%20Analysis%20of%20the%20802.11%20CSMA-CA%20Protocol%20through%20SD2PN.pdf |