一个基于同步器扩充的迁移工作流系统模型

Migrating workflow system model based on synchronizer

通过对迁移工作流系统模型各要素进行分析,构建了一个基于Petri网的迁移工作流系统模型。模型以同步器为库所,并在此上扩充了位置概念和资源与服务能力,适应了迁移环境下的变迁点火规则,动态地将迁移工作流系统中的任务集在迁移环境中得以体现,较好地模拟了迁移工作流系统整个运行过程。

Owing to dynamic process definition and complicated framework, thus migrating workflow system lacks of a clear definition on the model. A migrating workflow system model based on Petri net was established through the analysis of the elements. The model acted the synchronous machine as the places, and the concept and location of resources ＆ service capabilities were expanded to be adapted to the transition enabled rules in the migrating environment. And the task sets embodied in the migrating environment can be reflected dynamically. At last, the entire operation relocation process of migrating workflow system was simulated well.