基于Object-Z的WSN路由算法的形式化研究
辜承志
陈传峰
1.福州大学物理与信息工程学院,福州,3500022.福州大学物理与信息工程学院,福州,350002
摘要：由于无线传感器网络(WSN)带来的新特点,需要开发更多区别于传统网络的路由协议.形式化方法Object-Z是建立在严密数学基础之上的开发方法,其形式化规约语言的测试和设计工作可以同时开始,适用于新网络、新算法的研究开发.文章提出了运用形式化方法Object-Z对flooding算法建模的方法.建模结果表明Object-Z适用于无线传感器网络的路由协议,并可实现对flooding算法的描述和验证.
关键词：无线传感器网络Object-ZFlooding路由算法
分类号：TN929.5(无线通信)TP212.9(自动化技术及设备)
资助基金：国家自然科学基金(60672146)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 15-17,90 )
英文信息