提出了一种适用于无线传感器网络的能量高效的分布式分簇算法(EEDC),该算法使具有较高剩余能量及距离基站较近的节点有更大的机会成为簇头.理论分析表明该算法通信开销较小,而且有效地均衡了节点的能量消耗.为了确保EEDC的正确性、完整性和可靠性,利用形式化方法——着色网对其关键属性进行建模和分析.仿真结果表明,EEDC有效地延长了网络生命周期,提高了网络的能耗效率.