无线传感器网络的协议再工程与方法研究

Wireless sensor network protocol reengineering and methodology

基于协议工程和软件再工程的相关概念,提出一种针对无线传感器网络协议定制行为的规范化工作流程,命名为协议再工程。阐明了协议再工程产生的背景、定义、生命周期和工作流程;同时提出一种将统一建模语言和着色Petri网的U-CPN相集成的方法,用于协议再工程中的形式化描述模型的建立与验证,并对U-CPN和统一建模语言模型的等价性作出了基于网射的证明。最后,通过一个Zigbee相关的实例表明,在U-CPN方法基础上使用协议再工程指导协议修改,在可控性和描述力上具有优势,尤其加强了协议再工程中的形式化分析能力,可以很好地保证协议的修改质量。

A novel concept named protocol reengineering was proposed by integrating the fields of Protocol Engineering （PE） and Software Reengineering （SRE）, aiming to normalize the process of customization in the existing Wireless Sensor Networks （WSN） protocols. The preliminary knowledge about protocol reengineering like background, definition, lifecycle as well as the workflow were discussed firstly. And the methodology named U-CPN, which combined Unified Model Language （UML） with Colored Petri Network （CPN）, was presented to formalize the modeling and analysis of reengineered protocols. Meanwhile, the equality between U-CPN and UML model was proved based on network morphism. Finally, a Zigbee-related case showed that the process of protocol customization, if guided by protocol reengineering and working with U-CPN, could improve controllability, intuition, and especially the strength of formal analysis, which guaranteed the quality of modified protocol as well.