甘肃省应用技术研究与开发专项计划项目(1004TCYA035)
- 作品数：2 被引量：1H指数：1
- 相关作者：王小龙章恒张其斌更多>>
- 相关机构：甘肃省计算中心更多>>
- 发文基金：甘肃省应用技术研究与开发专项计划项目甘肃省中青年科技研究基金甘肃省重点实验室建设计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向GMA目录服务的领域本体建模研究被引量：1
- 2013年
- 提出构建目录服务本体对GMA目录服务组件维护的网格资源信息提供语义一致的描述,从而弥补使用关系数据库或XML组织信息时产生的语义缺陷。结合国家网格甘肃计算节点的实际情况基于描述逻辑进行本体建模,对支持任意实际运行的网格的目录服务本体及其语义进行形式化分析,提出了可以满足这类本体的模型。基于OWL-dl构建了一个目录服务本体的实例,使用sparql语言进行查询,验证了目录服务本体的正确性及可行性。
- 王小龙张其斌章恒
- 关键词：描述逻辑形式化语义
- 面向网格监控的工作流建模研究
- 2013年
- 网格监控系统种类繁多而且大多具有自身特定的应用领域,有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基于活动网络图为网格监控的数据处理流程建立工作流模型并进行语义描述。通过阐释网格监控架构和具有代表性的网格监控系统,总结分析了3种监控过程的一般数据流程,为典型的数据处理流程设计了工作流模型,给出了主要工作流模型的形式化说明。此建模方法有助于网格监控模块的设计,同时为面向网格监控的信息处理过程的分析与评价提供了一种可供参考的形式化语义。
- 王小龙
- 关键词：工作流模型形式化语义网格监控系统
