| GMA架构下监控信息工作流模型探讨 |
| |
| 引用本文： | 王小龙,肖琚,刘光明. GMA架构下监控信息工作流模型探讨[J]. 甘肃科学学报, 2011, 23(2): 134-138 |
| |
| 作者姓名： | 王小龙 肖琚 刘光明 |
| |
| 作者单位： | 甘肃省计算中心,甘肃兰州,730030 |
| |
| 基金项目： | 甘肃省科技支撑计划项目 |
| |
| 摘 要： | 分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式化语义.
|
| 关 键 词： | 网格监控架构 时序算子 形式化语义 XYZ/E |
Discussion of Workflow Model of Monitoring Information Based on GMA |
| |
| WANG Xiao-long,XIAO Jun,LIU Guang-ming. Discussion of Workflow Model of Monitoring Information Based on GMA[J]. Journal of Gansu Sciences, 2011, 23(2): 134-138 |
| |
| Authors: | WANG Xiao-long XIAO Jun LIU Guang-ming |
| |
| Affiliation: | (Gansu Computing Centre,Lanzhou 730030,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Grid Monitoring Architecture(GMA) temporal operator formal semantics XYZ/E |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
