分析了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 model 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.
展开▼