-
题名无线传感器网络的协议再工程与方法研究
被引量：1
- 1
-
-
作者
彭磊
袁海
曾家智
-
机构
电子科技大学计算机科学与工程学院
中国科学院深圳先进技术研究院
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2008年第6期1236-1243,共8页
-
基金
电子信息产业发展基金资助项目(财建[2006]549,信部运[2006]634)。~~
-
文摘
基于协议工程和软件再工程的相关概念,提出一种针对无线传感器网络协议定制行为的规范化工作流程,命名为协议再工程。阐明了协议再工程产生的背景、定义、生命周期和工作流程;同时提出一种将统一建模语言和着色Petri网的U-CPN相集成的方法,用于协议再工程中的形式化描述模型的建立与验证,并对U-CPN和统一建模语言模型的等价性作出了基于网射的证明。最后,通过一个Zigbee相关的实例表明,在U-CPN方法基础上使用协议再工程指导协议修改,在可控性和描述力上具有优势,尤其加强了协议再工程中的形式化分析能力,可以很好地保证协议的修改质量。
-
关键词
协议工程
协议再工程
协议逆向工程
统一建模语言
着色PETRI网
无线传感器网络
-
Keywords
protocol engineering
protocol reengineering
protocol reverse engineering
unified model language
colored Petri net
wireless sensor network
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
