论文部分内容阅读
分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式化语义.
GMA架构下监控信息工作流模型探讨
【摘 要】
：
分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系
【机 构】
：
甘肃省计算中心
【出 处】
：
甘肃科学学报
【发表日期】
：
2011年2期
【基金项目】
：
甘肃省科技支撑计划项目（1011FKCA156）
其他文献
象汉语一样，我们用英语表示某一相同概念时常常可以利用多种不同的表达法。但这些不同的表达法往往在范围大小、程度轻重、适用语境（口语或书面语）以及感情色彩（褒义或贬义）等方面
期刊
为满足排涝和抽引双重功能，节省土建投资，并且考虑到两种工况下设计扬程和校核扬程相差较大，新建的澡港泵站采用了开敞式双向流道泵装置结构型式，在大多数引水工况下，出水流道的顶
最近接到一本中式菜谱，在翻译成英文时，注意到这样一种现象：汉语某些词表达的概念要比英语表达的概念概括、抽象，如菜谱中常出现的“去皮”、“烧／烤”等词，就难以找到一个分别与之
期刊
假设核心混凝土刚性很大,通过压杆和圆柱壳2种模型,假定了位移函数的三角函数形式,用能量法求解圆钢管混凝土柱在轴压下局部屈曲的临界载荷和临界应力,2种方法得到的计算结果