A Case Analysis of IEEE 802.11 CSMA/CA Protocol via Sequence Diagrams
作者： Mohamed Ariff Ameedeen , Behzad Bordbar
关键词:
摘要: Unified Modelling Language (UML) has been conferred as the de facto standard in modeling by majority software system development community. Among various types of diagrams that exist under umbrella UML is Sequence Diagram. Diagrams are capable interactional behaviours well dynamic happenings a system, and such generally used complex systems. However this paper, IEEE 802.11 Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. The Diagram representing protocol will then be for formal, mathematical analysis first transforming through MDA model transformation tool called SD2PN, performing liveness analysis, boundedness reach ability resulting Petri Net.
sci-hub.se 参考文章(9)
Mohamed A. Ameedeen, Behzad Bordbar, Rachid Anane, A Model Driven Approach to the Analysis of Timeliness Properties Lecture Notes in Computer Science. pp. 221- 236 ,(2009) , 10.1007/978-3-642-02674-4_16
Javier Campos, José Merseguer, On the integration of UML and petri nets in software development applications and theory of petri nets. pp. 19- 36 ,(2006) , 10.1007/11767589_2
K. L. McMillan, D. K. Probst, A technique of state space search based on unfolding computer aided verification. ,vol. 6, pp. 45- 65 ,(1995) , 10.1007/BF01384314
Juliana Küster-Filipe, Modelling concurrent interactions algebraic methodology and software technology. ,vol. 351, pp. 203- 220 ,(2006) , 10.1016/J.TCS.2005.09.068
T. Murata, Petri nets: Properties, analysis and applications Proceedings of the IEEE. ,vol. 77, pp. 541- 580 ,(1989) , 10.1109/5.24143
D. H. Akehurst, B. Bordbar, M. J. Evans, W. G. J. Howells, K. D. McDonald-Maier, SiTra: simple transformations in Java model driven engineering languages and systems. pp. 351- 364 ,(2006) , 10.1007/11880240_25
Indrakshi Ray, Behzad Bordbar, Kyriakos Anastasakis, Geri Georg, UML2Alloy: a challenging model transformation model driven engineering languages and systems. pp. 436- 450 ,(2007) , 10.5555/2394101.2394141
Mohamed Ariff Ameedeen, Behzad Bordbar, A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets enterprise distributed object computing. pp. 213- 221 ,(2008) , 10.1109/EDOC.2008.42
Glynn Winskel, An introduction to event structures Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop. pp. 364- 397 ,(1988) , 10.1007/BFB0013026