GMA架构下监控信息工作流模型探讨

分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式化语义.

面向网格监控的工作流建模研究

网格监控系统种类繁多而且大多具有自身特定的应用领域,有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基于活动网络图为网格监控的数据处理流程建立工作流模型并进行语义描述。通过阐释网格监控架构和具有代表性的网格监控系统,总结分析了3种监控过程的一般数据流程,为典型的数据处理流程设计了工作流模型,给出了主要工作流模型的形式化说明。此建模方法有助于网格监控模块的设计,同时为面向网格监控的信息处理过程的分析与评价提供了一种可供参考的形式化语义。

面向GMA目录服务的领域本体建模研究

提出构建目录服务本体对GMA目录服务组件维护的网格资源信息提供语义一致的描述,从而弥补使用关系数据库或XML组织信息时产生的语义缺陷。结合国家网格甘肃计算节点的实际情况基于描述逻辑进行本体建模,对支持任意实际运行的网格的目录服务本体及其语义进行形式化分析,提出了可以满足这类本体的模型。基于OWL-dl构建了一个目录服务本体的实例,使用sparql语言进行查询,验证了目录服务本体的正确性及可行性。