Abstract: The main aim of this study is the presentation of a new protocol for the load balancing approach in IEEE 802.11 WLAN in order to improve Quality of Service (QoS) and to provide an adaptation between application and available physical resources of network. It focuses on the presentation of QoS management solution for wireless communication system. It, mainly, presents a protocol structure between mobiles and APs to provide better resources allocation and efficiency on communication metrics. This research studies the formal validation of this communication protocol using SDL pattern. It gives the formal protocol dynamic behavior check using MSC tool. It also focuses on the implementation with Opnet tool in order to bring out the enhancement of the Quality of Service Management in hotspot environment when using this solution.