为了系统分析IEEE　802.11无线通讯协议的性能,基于POOSL语言建立了IEEE　802.11协议的性能抽象模型,对adhoc网络和带有AP的WLAN两种场景下协议的性能进行了定性和定量地分析。在建模过程中,对协议的机制进行了合理的抽象,重点解决了无线信道的仿真等问题,准确模拟了DCF的两种工作方式(基本方式和RTS/CTS)。通过模型模拟执行的结果,分析了相关参数(站点个数、竞争窗口大小、帧的长度)对协议性能指标(有效吞吐量、平均延时和上下行吞吐量公平性)的影响,并得到了不同站点数目情况下最佳的CWmin值等结果。