一种基于产生式的流程模型分析方法

Production-based Method for Process Model Analysis

在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。

By thoroughly analyzing workflow models and the rational abstracted business activities, this paper proposed a kind of formalization analysis model based on the production rules, and provided a transformation method from the general workflow to this model, Based on these works, this paper infered a group of effective workflow validation rules, and proved their validity through examples,