一种基于数据流约束的可配置业务流程分析方法

摘要

本发明公开了一种基于数据流约束的可配置业务流程分析方法，首先根据某一特定领域相关活动之间的数据流模型，确定活动之间的执行关系，设计出基于CPN的业务流程模型；然后将数据流模型与业务流程模型合并形成反映数据流关系的业务流程模型，将其根据领域的需求和指导转化成可配置业务流程模型；进而根据领域中的个性化需求分析与验证可配置业务流程的数据流约束的正确性；最后，根据验证结果可以调整可配置业务流程模型，使得业务流程在配置过程保持设计时的正确性，本发明的方法提出了可配置业务流程模型的数据流约束分析与验证方法，有效的解决了业务流程可变性管理中的数据流约束关系，避免在业务流程配置过程中产生数据语义的异常行为。

主权项

一种基于数据流约束的可配置业务流程分析方法，其特征在于：包括以下步骤：步骤一：在大数据环境下，找出研究领域具体项目的业务活动及其时序关系，利用CPN模型将其表示成业务流程；步骤二：根据特定领域需求，分析与抽取反映业务流程活动执行时的数据流约束模型及其数据之间的依赖关系，将其映射到步骤(1)中形成的CPN模型；步骤三：在步骤一)和步骤二)的基础上，将数据流约束的业务流程CPN模型通过配置操作转化为基于数据流的可配置业务流程CPN模型，并将该模型在特定领域下应满足的数据约束属性使用扩展的计算树时序逻辑(ASK‑CTL)表示；步骤四：应用可配置业务流程的CPN模型及相应工具进行分析与验证。