工作流动态变化在建模中的应用研究

Application of Dynamic Change into Workflow Modeling

如果工作流管理系统的建模过程中缺乏合理性验证,那么对庞大模型的验证将十分复杂。针对该问题,以Petri网为分析工具,提出了一种动态变化在建模中进行应用的方法。此方法引入动态变化生成的最小变化区域,并利用逻辑推导和真值表对该区域进行结构的合理性验证。实例分析证明,此方法可以降低建模的复杂度和验证的工作量。

The lack of rationality verification in the modeling process of the workflow management system will result in the complexity of verification to a large model.As an attempt to solve this problem,we adopted the Petri net as the tool for analysis and proposed a method to apply dynamic change into the workflow during the modeling process.The method introduces the minimum change region generated by the dynamic change,and validates rationality of the region by combining logical derivation with the truth table.Examples are given to illustrate that the method can reduce the complexity of modeling and the workload of verification.