动态工作流建模方法的研究与设计

为了提高工作流对动态不确定因素的处理能力，提出了一种基于事件一条件一活动规则和活动组合的动态工作流模型。该模型用柔性活动封装流程中的不确定因素，用选取规则和组合规则来约束柔性活动的具体化过程，并设计了一个追求活动最高并发度的活动自动组合算法，以便最大限度地利用系统资源，提高流程执行效率。还设计了一个检验活动选取和活动组合的算法，保证了柔性活动具体化后形成的子流程的合法性。

Research and Design of Dynamic Workflow Modeling Method

To improve the workflow for processing uncertainty, a dynamic workflow model based on Event-Condition-Action (ECA) rules and activities' composition was proposed. The model capsulized the uncertainty of processes by using flexible activities and restricted the particularization of flexible activities by using selection rules and composition rules. Furthermore, an algorithm was designed to automate the composition of activities with the best concurrence, which can make full use of the resources and enhance the efficiency of processes. At the same time, another algorithm was designed to verify the activity's selection and composition, which can ensure the validity of sub-processes resulting from the particularization of flexible activities.