基于构件技术的分布式工作流模型及其验证
在研究现有工作流模型的基础之上，提出了一种基于构件技术的适用于分布式环境的工作流模型。该模型克服了现有工作流模型如基于有向图工作流模型对系统变化适应性不足的问题。采用构件技术，使得工作流模型更具模块化，易于排错与修改；简化工作流定义工具的设计与实现；支持运行时构件的切换。更进一步，利用Pi演算对新模型进行形式化描述，通过Pi演算推导，模拟模型的执行过程，并给出一个新模型的应用实例。
构件通信 工作流模型 构件技术 模型验证 PI演算
刘旭鹏
北京航空航天大学 100191
国内会议
北京
中文
93-98
2011-09-01（万方平台首次上网日期，不代表论文的发表时间）