业务流程可变性配置管理合规性分析与检测方法

摘要

本发明公开了业务流程可变性配置管理合规性分析与检测方法，该方法是通过增加配置操作使用CPN作为形式化模型去表达可配置业务流程并用扩展的CTL公式去表示合规性规则以反映模型的合规性需求；最后，给出了可配置业务流程合规性分析并给出了一个可配置业务流程模型中合规约束的正确性定理，这种方法有效的将合规规则整合到可配置业务流程，同时，由于采用的CPN形式模型提供相关的工具集去验证可配置业务流程的合规正确性。本发明为业务流程在可变性配置管理过程中满足业务规则的一致性提供一种分析和检测方法，从而使得组织或企业为用户提供的个性化业务流程时能够很好的遵循相应的业务规则。

主权项

一种业务流程可变性配置管理合规性分析与检测方法，其特征在于该方法包括如下步骤：步骤（1）：针对给定领域中的大数据环境下，利用事件日志找出业务活动及其时序关系，然后使用CPN模型将它们表示成业务流程；步骤（2）：在给定领域分析和归纳具体的业务规则，然后精化合规规则，以反映用户对业务流程的规则方面的需求；步骤（3）：使用ASK‑CTL去规约精化的合规性规则，同时，分析与设计给定领域下的可配置业务流程模型，接着研究如何使用CPN模型和相应的工具分析与检测模型及其相应属性；步骤（4）：分析从步骤（1）‑步骤（3）得到的检测结果中配置行为的有效性，如果发现有不满足合规则的行为轨迹，调整模型从而使用模型与业务规则进行合规。