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