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

Discussion of Workflow Model of Monitoring Information Based on GMA

作　　者：王小龙[1] 肖珺[1] 刘光明[1] 

机构地区：[1]甘肃省计算中心,甘肃兰州730030

出　　处：《甘肃科学学报》2011年第2期134-138,共5页Journal of Gansu Sciences

基　　金：甘肃省科技支撑计划项目(1011FKCA156)

摘　　要：分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式化语义.The core processes are analyzed in the Grid Monitoring Architecture in this paper.A definition of workflow model for monitoring information is proposed based on activity network,and a workflow mode1 is designed for GMA based on our definition.After introducing temporal operators in the linear temporal logic language XYZ/E,the formal semantics of the workflow model is discussed for main Producer/Consumer interactions in GMA.

关 键 词：网格监控架构 时序算子 形式化语义 XYZ/E 

分 类 号：TP316.8[自动化与计算机技术—计算机软件与理论]