摘要
分析了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.
出处
《甘肃科学学报》
2011年第2期134-138,共5页
Journal of Gansu Sciences
基金
甘肃省科技支撑计划项目(1011FKCA156)
关键词
网格监控架构
时序算子
形式化语义
XYZ/E
Grid Monitoring Architecture(GMA)
temporal operator
formal semantics
XYZ/E