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

Wireless sensor network protocol reengineering and methodology

作　　者：彭磊[1] 袁海[2] 曾家智[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,四川成都610054 [2]中国科学院深圳先进技术研究院,广东深圳518067

出　　处：《计算机集成制造系统》2008年第6期1236-1243,共8页Computer Integrated Manufacturing Systems

基　　金：电子信息产业发展基金资助项目(财建[2006]549,信部运[2006]634)。~~

摘　　要：基于协议工程和软件再工程的相关概念,提出一种针对无线传感器网络协议定制行为的规范化工作流程,命名为协议再工程。阐明了协议再工程产生的背景、定义、生命周期和工作流程;同时提出一种将统一建模语言和着色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.

关 键 词：协议工程 协议再工程 协议逆向工程 统一建模语言 着色PETRI网 无线传感器网络 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP311.5[自动化与计算机技术—计算机科学与技术]