基于Pi演算和EECA规则的跨组织工作流建模研究

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:lhmsgy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法。将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题。利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述。分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。
其他文献
也论领导活动的主体苟志效关于领导活动的主体,学术界向来便有群众主体论、领导者主体论和复合主体论三种成说。笔者认为,这三种见解虽然都有其可取之处,但由于观察和理解的片面
胡锦涛同志在全国组织工作座谈会上提出,当前加强领导班子思想作风建设总的目标要求是,深入贯彻党的十四大精神,以邓小平同志建设有中国特色社会主义理论为指导,从解决当前突
考评党政领导干部政绩要处理好七个关系李守玉不同行业、不同岗位领导干部的政绩有不同的表现形态。经济部门和企业领导干部的政绩从价值形态上看,比较明显,可以量化表示,容易把
以中国共产党十一届中央委员会第三次全体会议为起点的中国改革开放事业已经走过30年的历程,在这30年中,我国的社会、经济等各个方面都发生了深刻的变化。国民经济和综合国力正
为了模拟出具有实时性和真实感的烟雾效果,分析了传统烟雾的模拟方法,提出了一种基于OSG平台下的实时烟雾模拟方法。该方法采用流体力学纳维-斯托克斯方程组作为基本物理模型,通过添加漩涡约束力来达到真实性的要求。由于NS方程求解的复杂性和CPU计算的限制性,在方程解算上,提出一种基于GPU的采用半拉格朗日方法、雅克比迭代法等稳定的求解方法,并结合体绘制技术来实现实时烟雾的模拟。实验结果表明,该方法能快速
怎样发挥企业集团在市场竞争中的优势孙家仁党的十四届三中全会通过的《关于建立社会主义市场经济体制若干问题的决定》中指出:“发展一批以公有制为主体,以产权联结为主要纽带
领导者减少工作阻力的方法李瓜田,蒋永志许多领导者抱怨在工作中“放不开手脚”,阻力太大。怎样才能减少阻力?我们为此走访了在领导活动中自由度相差较大的两类领导者,对他们所述
协调工作中的语言运用廷青,陆野语言在协调工作中的作用在领导协调工作这个特定的环境里,语言对协调的成效高低乃至成败有着很大的影响。古人曾经说过:“一言之辩,重于九鼎之宝,三
也要减轻领导负担况晨光在减轻农民负担的呼声接连不断的今天,还有一种负担也同样需要减轻,这就是领导负担。说句实在话,目前有些领导特别是一些县乡党政一把手的负担,确实较重。
开局篇编者按:“开局”,原指比赛活动的开始阶段。领导活动也有开局阶段。这里所说的开局,主要不是指某一领导活动的开始,而是指新任领导者和新的领导班子在新的条件下从事领导活