论文部分内容阅读
在研究现有工作流模型的基础之上，提出了一种基于构件技术的适用于分布式环境的工作流模型。该模型克服了现有工作流模型如基于有向图工作流模型对系统变化适应性不足的问题。采用构件技术，使得工作流模型更具模块化，易于排错与修改；简化工作流定义工具的设计与实现；支持运行时构件的切换。更进一步，利用Pi演算对新模型进行形式化描述，通过Pi演算推导，模拟模型的执行过程，并给出一个新模型的应用实例。“,”After analysing and summarizing the existing workflow model, an improved and component-based distributed workflow model is introduced by adding more flexibility. The model enhances the adaption of the existing workflow model based on directed graph as the system changes. The use of component technology makes the workflow model is more modular and easy to debug and modify; streamlines the design and implementation of the workflow definition tool; supports run-time switch of the components. Furthermore, the use of PI calculus formal description of the new model, derived by Pi-calculus, simulates the model execution, and gives examples of a new model to prove the correctness and validity of the model.