论文部分内容阅读
当今的网格研究集中在网格建设、网格系统软件和应用开发上,对于网格使用模型的研究还很少涉及。本文结合网格中心战中传感器网格和国家的织女星网格的开发和研究,对网格使用模式进行了深入研究,主要创新点包括:提出了军用网格的一种使用模式,并将此使用模式应用在传感器网格进行建模,对该模型进行了形式化;利用ASML工具,对传感器网格使用模式的一些规则进行了研究,并针对传感器网格应用之一的军事情报信息系统进行了建模仿真;应用传感器网格使用模式的规则和服务,设计实现了一个军事情报信息系统应用的演示系统,并将此与军事情报信息系统的ASML模型绑定进行一致性测试。
本文以网格技术为背景,介绍了网格中心战的相关知识和网格使用模式的发展历程和趋势,借助OGSA(Open Grid Services Architecture)中的网格服务的概念,将一切计算资源、存储资源、网络、数据库等以服务的形式呈现。由于网格系统中存在分布、动态、数量众多的网格服务,如何使用这些分布、动态的网格服务信息,保证用户使用的易用性和一致性,同时支持高度机动的战场用户使用,是网格服务研究的一个重要问题。目前大部分的网格研究基于其结构设计、应用开发等方面,对网格使用方式研究较少,对其还缺乏严格的形式化定义,选择合适的形式化方法来描述和规范网格使用模式是一个很关键的问题。
针对这个问题,本文提出了军用网格使用模式自动机的理论模型,以及基于抽象状态机ASM(Abstract State Machine)的传感器网格使用的形式化描述模型,形式化地给出传感器网格使用模式的表示模型。基于抽象状态机定义了传感器网格具体的规则,例如用户登陆网格,连接传感器,资源匹配,资源请求,服务信息的发送接收,服务注册等,阐述了传感器网格服务信息之间的关联及其约束。另外基于规则的描述,利用微软亚洲工程研究院开发的AsmL工具Spec Explore对其进行验证,生成有限自动机,精确地定义了传感器网格的功能模块之间的交互以及状态的演化,形式化的描述保证了模型的一致性和正确性。同时通过一个军事情报信息系统的演示程序,与自动机生成的所有的状态变化的测试用例绑定来进一步分析模型的语义及其验证。