基于Agent的无线传感器网络UML行为建模

摘要

无线传感器网络作为一种新型的信息获取技术具有广泛应用前景，软件建模是其构建高效应用系统的重要支撑技术。本文研究无线传感器网络协议行为过程，利用UML建立可视化的行为模型，描述无线传感器网络相应“活动”步骤和“状态”迁移，为无线传感器网络软件开发提供图形化工具。
　　本文将无线传感器网络看作多 Agent系统，分析无线传感器网络典型拓扑控制和路由协议中的行为，构建出Agent角色模型和多Agent群体模型；利用UML活动图对无线传感器网络的基本行为进行建模，提出了一系列基于Agent的无线传感器网络活动图图形化符号和形式化规则，实现无线传感器网络基本行为的可视化表示；利用 UML状态图对无线传感器网络的高级行为进行建模，提出了一系列基于Agent的无线传感器网络状态图图形化符号和形式化规则。上述方案能够解决活动模糊和状态迁移混乱等问题，实现无线传感器网络活动流程和状态迁移的形式化描述。
　　验证分析表明，本文提出的图形化符号和形式化规范有助于可视化描述无线传感器网络行为过程；为无线传感器网络的动态行为分析和软件应用开发提供了基础。

目录

封面

声明

中文摘要

英文摘要

目录

专用术语注释表

第一章 绪论

1.1研究背景

1.2 国内外研究现状

1.3 研究内容与论文结构

第二章 无线传感器网络行为分析和Agent建模

2.1 无线传感器网络行为分析

2.2 无线传感器网络Agent建模

2.3 本章小结

第三章 基于Agent的无线传感器网络UML基本行为建模

3.1 引言

3.2 无线传感器网络UML活动图符号扩展

3.3 无线传感器网络UML活动图形式化规约

3.4 无线传感器网络基本行为模型验证

3.5 本章小结

第四章 基于Agent的无线传感器网络UML高级行为建模

4.1 引言

4.2 无线传感器网络UML状态图符号扩展

4.3 无线传感器网络UML状态行为形式化规约

4.4 无线传感器网络高级行为验证分析

4.5 本章小结

第五章 总结与展望

5.1 工作总结

5.2 创新点与进一步研究展望

参考文献

附录1 程序清单

附录2 攻读硕士学位期间撰写的论文

附录3 攻读硕士学位期间申请的专利

附录4 攻读硕士学位期间参加的科研项目

致谢