21、业务约束监测与模型关系处理的技术探索-优快云博客

本文链接：https://blog.youkuaiyun.com/vscode6remote/article/details/150545145

业务约束监测与模型关系处理的技术探索

1. 业务约束监测框架

在业务运营中，对业务约束的监测至关重要。这里介绍一种新的运营决策支持（OS）框架，该框架的实现利用了ProM中OS服务提供的功能。Mobucon具有通用灵活的架构，能够容纳多个推理引擎，这里主要展示基于有限跟踪线性时态逻辑（LTL）和自动机的引擎，以及基于事件演算（EC）和基于Prolog的反应式推理器的引擎。

1.1 与现有方法对比

多数现有的合规验证方法要么在设计时处理静态模型，要么使用历史数据进行离线事后一致性检查。在线业务流程监测方法大多侧重于测量数值属性，如关键绩效指标（KPI）。不过，Ly等人关于业务流程中语义约束的工作与这里的研究相关，他们都认识到流程运行时合规验证的重要性，但这里提出了在流程执行期间解决该问题的具体方法。