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...

Full description

Bibliographic Details
Main Authors:	M. A., Ameedeen, Bordbar, Behzad
Format:	Article
Language:	English English
Published:	United Kingdom Simulation Society 2014
Subjects:	QA76 Computer software
Online Access:	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

id	ump-8260
recordtype	eprints
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) http://ijssst.info/Vol-15/No-1/paper6.pdf
repository_type	Digital Repository
institution_category	Local University
institution	Universiti Malaysia Pahang
building	UMP Institutional Repository
collection	Online Access
language	English English
topic	QA76 Computer software
spellingShingle	QA76 Computer software M. A., Ameedeen Bordbar, Behzad A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN
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	Article
author	M. A., Ameedeen Bordbar, Behzad
author_facet	M. A., Ameedeen Bordbar, Behzad
author_sort	M. A., Ameedeen
title	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_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_sort	model driven analysis of the 802.11 csma/ca protocol through sd2pn
publisher	United Kingdom Simulation Society
publishDate	2014
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
first_indexed	2023-09-18T22:05:38Z
last_indexed	2023-09-18T22:05:38Z
_version_	1777414688986890240

A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN

Similar Items