基于object—Z的WSN路由算法的形式化研究.pdfVIP

总第 243期 计算机与数字工程 Vo1．38No．1 2010年第 1期 Computer＆DigitalEngineering 15 基于 Object—Z的WSN路 由算法的形式化研究 辜承志 陈传峰 (福州大学物理与信息工程学院 福州 350002) 摘 要 由于无线传感器网络 (WSN)带来的新特点，需要开发更多区别于传统网络的路 由协议。形式化方法 Object— Z是建立在严密数学基础之上的开发方法，其形式化规约语言的测试和设计工作可以同时开始 ，适用于新网络、新算法的研 究开发。文章提出了运用形式化方法Object—Z对 flooding算法建模的方法。建模结果表明Object--Z适用于无线传感器 网络的路由协议，并可实现对flooding算法的描述和验证。 关键词 无线传感器网络 ；Object—z；Flooding；路由算法 中图分类号 TN929．5；TP212．9 FormalRes