[论文解读] Object-Centric Behavioral Constraints

Wil M. P. van der Aalst, Guangming Li+1 more|arXiv (Cornell University)|Mar 14, 2017

Business Process Modeling and Analysis参考文献 13被引用 13

一句话总结

本文提出对象中心行为约束（OCBC），一种统一的建模语言，通过基数约束作为统一机制，整合数据与行为约束。通过结合声明式流程建模与数据建模，OCBC 能够检测多个交互实例之间的复杂合规性问题，其合规性检查复杂度为 AC₀，显著优于现有方法在诊断多实例行为偏差方面的表现。

ABSTRACT

Today's process modeling languages often force the analyst or modeler to straightjacket real-life processes into simplistic or incomplete models that fail to capture the essential features of the domain under study. Conventional business process models only describe the lifecycles of individual instances (cases) in isolation. Although process models may include data elements (cf. BPMN), explicit connections to real data models (e.g., an entity relationship model or a UML class model) are rarely made. Therefore, we propose a novel approach that extends data models with a behavioral perspective. Data models can easily deal with many-to-many and one-to-many relationships. This is exploited to create process models that can also model complex interactions between different types of instances. Classical multiple-instance problems are circumvented by using the data model for event correlation. The declarative nature of the proposed language makes it possible to model behavioral constraints over activities like cardinality constraints in data models. The resulting object-centric behavioral constraint (OCBC) model is able to describe processes involving interacting instances and complex data dependencies. In this paper, we introduce the OCBC model and notation, providing a number of examples that give a flavour of the approach. We then define a set-theoretic semantics exploiting cardinality constraints within and across time points. We finally formalize conformance checking in our setting, arguing that evaluating conformance against OCBC models requires diagnostics that go beyond what is provided by contemporary conformance checking approaches.

研究动机与目标

• 弥合企业系统与传统流程模型之间的脱节，后者将实例孤立处理，无法整合数据与控制流视角。
• 克服现有流程建模语言在表达复杂数据依赖关系或多种实例之间交互方面的局限性。
• 实现对细微合规性问题（如跨实例的基数违规）的检测，这些问题是传统合规性检查无法识别的。
• 通过基数约束统一数据建模（如 UML、ER）与声明式流程建模（如 Declare），以指导结构与行为。
• 为 OCBC 模型提供形式化的集合论语义，并定义一种可扩展的合规性检查方法，具有较低的数据复杂度。

提出的方法

• 提出 OCBC 模型作为单一符号表示，结合数据结构（类似 UML 的类图，含基数约束）与行为规则（如 Declare 中的声明约束）。
• 使用 '始终'（□）与 '最终'（◇）算子表达对基数的时间约束，以区分持久性与临时性违规。
• 通过事件日志上的布尔型、类似 SQL 的查询形式化合规性检查，其中每个约束被转换为查询，并通过合取进行最终验证。
• 定义集合论语义，于时间点上评估约束，同时捕捉静态数据完整性与动态行为依赖关系。
• 利用数据模型中的基数约束引导行为，实现级联义务（例如，创建订单行将触发交付与处理事件的义务）。
• 证明合规性检查复杂度属于 AC₀，意味着当模型固定时，其可随日志规模高效扩展。

实验结果

研究问题

• RQ1 如何在单一建模语言中统一数据与行为约束，以捕捉多种类型流程实例之间的复杂交互？
• RQ2 使用统一模型整合数据与控制流约束时，可检测到哪些涉及多实例与数据依赖关系的合规性问题？
• RQ3 OCBC 模型能否高效地形式化合规性检查？其计算复杂度如何？
• RQ4 在多实例场景中，临时与永久约束违规如何表现？又如何诊断？
• RQ5 将子类型与继承机制集成到 OCBC 模型中，对行为模式与义务传播有何影响？

主要发现

• OCBC 模型可检测九类传统方法无法识别的合规性问题，包括由多实例交互与级联义务引发的违规。
• OCBC 模型的合规性检查算法具有 AC₀ 的数据复杂度，因此极为高效，适用于大规模事件日志。
• 数据模型中的基数约束不仅是结构性的，还驱动动态行为，产生必须随时间履行的隐式义务。
• 在未创建对应订单的情况下添加订单行对象，将导致永久性约束违规；而若在存在有效订单的前提下添加，则会引发临时违规，但仍可被修复。
• 该方法可实现超越控制流的诊断，揭示由数据模型驱动的偏差，如缺少关联实例或跨时间的错误基数关系。
• 数据与行为的集成使得能够建模复杂模式（如父子流程协调），这是传统流程建模语言无法实现的。