A Model Driven Analysis of the 802.11 CSMA/CA Protocol Through SD2PN
Unified Modeling 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 behaviors 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.