| 基于object—Z的WSN路由算法的形式化研究 |
| |
| 引用本文： | 辜承志,陈传峰.基于object—Z的WSN路由算法的形式化研究[J].计算机与数字工程,2010,38(1):15-17,90. |
| |
| 作者姓名： | 辜承志 陈传峰 |
| |
| 作者单位： | 福州大学物理与信息工程学院,福州,350002 |
| |
| 基金项目： | 国家自然科学基金项目(编号:60672146)资助 |
| |
| 摘 要： | 由于无线传感器网络（WSN）带来的新特点，需要开发更多区别于传统网络的路由协议。形式化方法Object—Z是建立在严密数学基础之上的开发方法，其形式化规约语言的测试和设计工作可以同时开始，适用于新网络、新算法的研究开发。文章提出了运用形式化方法Object—Z对flooding算法建模的方法。建模结果表明Object--Z适用于无线传感器网络的路由协议，并可实现对flooding算法的描述和验证。
|
| 关 键 词： | 无线传感器网络 Object—Z Flooding路由算法 |
Formal Research Routing Algorithm Based on Object-Z for Wireless Sensor Network |
| |
| Gu Chengzhi,Chen Chuanfeng.Formal Research Routing Algorithm Based on Object-Z for Wireless Sensor Network[J].Computer and Digital Engineering,2010,38(1):15-17,90. |
| |
| Authors: | Gu Chengzhi Chen Chuanfeng |
| |
| Affiliation: | College of Physics and Information Engineering/a>;Fuzhou University/a>;Fuzhou 350002 |
| |
| Abstract: | A new type of networks wireless sensor network introduces untraditional aspects which is different from existing network protocols.So it's necessary to develop more new routing protocols.Object-Z is based on rigorous mathematics,which is a development methodology suited to the development of new network and new algorithm.It presents a way to model flooding algorithm using Object-Z.The result of modeling indicates that Object-Z is suitable to routing algorithm of WSN,and it's feasible to specify and verify f... |
| |
| Keywords: | wireless sensor network Object-Z flooding routing algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
