基于Object-Z的WSN路由算法的形式化研究

• 作者: 辜承志 陈传峰
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 无线传感器网络 Object-Z Flooding 路由算法
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 算法与分析
• 页码范围: 15-17,90
• 页数: 4页
• 分类号: TN929.5|TP212.9
• 字数: 2644字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.01.005

摘要

由于无线传感器网络(WSN)带来的新特点,需要开发更多区别于传统网络的路由协议.形式化方法Object-Z是建立在严密数学基础之上的开发方法,其形式化规约语言的测试和设计工作可以同时开始,适用于新网络、新算法的研究开发.文章提出了运用形式化方法Object-Z对flooding算法建模的方法.建模结果表明Object-Z适用于无线传感器网络的路由协议,并可实现对flooding算法的描述和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	辜承志	福州大学物理与信息工程学院	1	0	0.0	0.0
2	陈传峰	福州大学物理与信息工程学院	21	231	5.0	15.0