【摘要】在研究现有工作流模型的基础之上,提出了一种基于构件技术的适用于分布式环境的工作流模型。该模型克服了现有工作流模型如基于有向图工作流模型对系统变化适应性不足的问题。采用构件技术,使得工作流模型更具模块化,易于排错与修改;简化工作流定义工具的设计与实现;支持运行时构件的切换。更进一步,利用Pi演算对新模型进行形式化描述,通过Pi演算推导,模拟模型的执行过程,并给出一个新模型的应用实例。
【关键词】
全文来源于知网
基于LabVIEW的GPS信号捕获算法实现 王奇波 , 秦红磊 , 王耿锞 2013 10 0 ¥:0
收藏
数字坝区综合管网GIS空间数据库的设计与实现 冯德鸿 , 邓小炼 , 刘勇 2013 82 0 ¥:0
收藏
基于iOS系统的安全性研究 凌宁 , 张文 , 牛少彰 2013 124 0 ¥:0
收藏
一种基于正常读带宽的数据修复方法 郑涵 , 陈海涛 , 卢宇彤 2013 142 0 ¥:0
收藏
基于规则引擎的自动运维虚拟器件模型 倪舜谦 , 史殿习 , 郭长国 2013 217 0 ¥:0
收藏