5.Declare_Query_Checking.ipynb
这个教程 5.Declare_Query_Checking.ipynb 主要讲解了如何使用 DECLARE 查询检查器来分析事件日志中的约束关系。
1. 主要功能
这个教程展示了如何使用 DeclareQueryChecker 来：
- 发现事件日志中满足特定支持度的约束模式
- 查询不同类型的约束关系
- 分析活动之间的关联规则
2. 三个主要查询示例
示例1：查找目标活动
query_checker = DeclareQueryChecker(log=event_log,consider_vacuity=False,template='Chain Response',activation='IV Antibiotics',activation_condition='A.org:group is A',min_support=0.2,return_first=False
)
- 给定模板（Chain Response）和触发活动（IV Antibiotics）
- 查找所有可能的目标活动
- 结果显示了一系列医疗活动的顺序关系，如：
- ER Registration → ER Triage
- ER Sepsis Triage → Leucocytes
- IV Antibiotics → Admission NC
示例2：查找活动对
query_checker = DeclareQueryChecker(log=event_log,consider_vacuity=False,template='Response',min_support=0.8,return_first=False
)
- 给定较高支持度（0.8）
- 查找所有满足 Response 关系的活动对
- 发现了多个高频率的活动序列，如：
- ER Registration 后续的各种检查（Leucocytes, CRP, LacticAcid）
- ER Triage 之后的诊断活动
- ER Sepsis Triage 后的检验项目
示例3：查找约束类型
query_checker = DeclareQueryChecker(log=event_log,consider_vacuity=False,activation='ER Registration',target='CRP',min_support=0.2,return_first=False
)
- 给定两个活动（ER Registration 和 CRP）
- 查找它们之间可能存在的所有约束类型
- 发现了多种关系类型：
- Choice（选择关系）
- Response（响应关系）
- Precedence（先序关系）
- 等多种约束类型
3. 重要参数说明
consider_vacuity：是否考虑空满足的情况min_support：最小支持度阈值return_first：是否只返回第一个满足条件的结果template：约束模板类型activation：触发活动target：目标活动activation_condition：触发条件
4. 实际应用价值
-
流程发现
- 自动发现流程中的规律和模式
- 识别常见的活动序列
-
规则验证
- 验证预期的流程规则是否成立
- 发现意外的活动关系
-
流程优化
- 找出高频率的活动序列
- 识别可能的流程瓶颈
-
合规性分析
- 检查活动是否按预期顺序执行
- 发现违反规则的情况
5. 与其他教程的关系
- 与 DECLARE 一致性检查互补
- 提供了更灵活的查询方式
- 可以发现未预期的约束关系
这个教程展示了如何使用查询检查器来探索和分析医疗流程中的各种关系模式，对于理解和优化医疗流程非常有帮助。