20、合规业务流程设计与上下文感知建模

合规业务流程设计与上下文感知建模

1. 合规业务流程设计中的约束冲突与解决

在业务流程的细化过程中，当合并两组约束时，可能会出现间接冲突。间接冲突的定义为：当较低层的正文字与较高层的负文字发生冲突时，就会出现间接冲突。

例如，假设细化层 1 和细化层 2 的约束进行了交换，合并这两组约束后，得到的约束集可能无法满足。但在合并之前，细化层 1 的约束可能是可以满足的。当在细化层 2 的新约束区域插入类型 A 的活动后，细化层 1 原本满足的约束会被删除，从而解决间接冲突。

2. Oryx 编辑器的扩展与功能

为了支持合规业务流程设计，对基于 Web 的 BPMN 编辑器 Oryx 进行了扩展，它具有以下特点和功能：
- 架构组件 ：Oryx 由前端和后端两个架构组件组成。前端组件包含在浏览器窗口中可见的元素，后端组件包含多个 Java servlet，提供如流程模型数据库等功能。
- 前端界面 ：Oryx 前端主要由三部分组成，中间是建模画布，还有形状库（标记为 1）和属性面板（标记为 2）。形状库包含当前加载的流程建模语言的所有元素，这些建模元素集合称为模板集。可以通过将元素从形状库拖到画布上来使用它们。
- 新模板添加 ：为了让流程设计师能够开发包含约束区域的流程模型，添加了一个名为“Constrained Region”的新模板。该模板能够包含任何类型的 BPMN2.0 元素或元素组，甚至整个流程模型（包括其他约束区域）。它有一个名为“compliance descriptor”的属性，用于存储约束区域的约束，