[发明专利]业务流程可变性配置管理合规性分析与检测方法

权利要求书

1.一种业务流程可变性配置管理合规性分析与检测方法，其特征在于该方法包括如下 步骤：

步骤（1）：针对给定领域中的大数据环境下，利用事件日志找出业务活动及其时序关 系，然后使用CPN模型将它们表示成业务流程；

步骤（2）：在给定领域分析和归纳具体的业务规则，然后精化合规规则，以反映用户对 业务流程的规则方面的需求；

步骤（3）：使用ASK-CTL去规约精化的合规性规则，同时，分析与设计给定领域下的可配 置业务流程模型，接着研究如何使用CPN模型和相应的工具分析与检测模型及其相应属性；

步骤（4）：分析从步骤（1）-步骤（3）得到的检测结果中配置行为的有效性，如果发现有 不满足合规则的行为轨迹，调整模型从而使用模型与业务规则进行合规。

2.根据权利要求1所述的业务流程可变性配置管理合规性分析与检测方法，其特征在 于步骤（1）的具体实现步骤为：

步骤（1.1）：针对给定领域分析其中的业务活动；

步骤（1.2）：针对步骤（1.1）的结果，根据所分析的业务活动，提取相应的业务活动规 则，将不属于该领域活动的业务规则过滤掉；

步骤（1.3）：对步骤（1.2）的业务规则的分析结果确定业务活动的时序关系；

步骤（1.4）：在步骤（1.3）的基础上，使用CPN工具将前3步分析的业务活动及其时序关 系设计成CPN模式的业务流程。

3.根据权利要求2所述的业务流程可变性配置管理合规性分析与检测方法，其特征在 于步骤（2）的具体实现步骤为：

步骤（2.1）：在步骤（1）的基础上，对业务活动所涉及的合规性文档形成合规资源文件；

步骤（2.2）：根据步骤（2.1）得到的合规性资源，提炼出业务规则，然后进行合规规则的 精化，精确反映用户的合规需求。

4.根据权利要求3所述的业务流程可变性配置管理合规性分析与检测方法，其特征在 于步骤（3）的具体实现步骤为：

步骤（3.1）：在步骤（2）的基础上，用ASK-CTL公式去规约合规规则，然后将用公式表达 的合规规则在CPN工具中提供的函数作为CPN的约束；

步骤（3.2）：在步骤（3.1）的基础上，将合规性约束的CPN业务流程模型转换成可配置 CPN模型：

步骤（3.2.1）：找出流程模型中的使能性业务操作，通过配置操作函数将业务CPN模型 中的相应活动配置成允许状态；

步骤（3.2.2）：找出流程模型中的隐藏性的业务操作，通过配置操作函数将业务CPN模 型中的相应活动配置成隐藏状态；

步骤（3.2.3）：找出流程模型中的阻断性的业务操作，通过配置操作函数将业务CPN模 型中的相应活动配置成阻隔状态；

重复步骤（3.1）和（3.2），直到将给定领域基于数据流约束的CPN业务流程模型全部转 换成基于数据流约束的可配置CPN业务流程模型；

步骤（3.3）：由步骤（3.2）得到的结果，用CPN工具提供的分析检测模型验证合规的一致 性模式。