In artifact-centric business process models it is usually assumed that the specification of the activities requires stating all the effects of the activity execution over the information base (i.e. over the artifacts it handles). In particular, these effects have to deal with integrity constraint enforcement to ensure a proper treatment of integrity constraints during activity execution. Manually specifying this treatment is a difficult, expensive and error-prone task, because of the inherent difficulty of getting rid of all the implication entailed by the constraints and also of the way to properly handle it.

In this paper, we advocate for separating constraint handling from the specification of activities in such a way that only the effects of the activity over the artifacts have to be defined (without needing to care about the constraints). Then, we propose an approach to automatically generate an extension to the original business process model that allows identifying at run-time the additional updates that have to be applied to the information base to repair all constraint violations caused by the activity execution.

在以工件为中心的业务流程模型中，通常假设活动的规范要求说明活动执行在信息库上（即在其处理的工件上）的所有效果。特别是，这些效果必须处理完整性约束的实施，以确保在活动执行过程中对完整性约束的正确处理。手动指定这种处理方式是一项困难，昂贵且容易出错的任务，因为要摆脱约束所带来的所有隐患以及正确处理该方式的固有困难。

在本文中，我们主张将约束处理与活动规范分开，以使得仅必须定义活动对工件的影响（而无需关心约束）。然后，我们提出一种自动生成对原始业务流程模型的扩展的方法，该扩展允许在运行时标识必须应用于信息库的其他更新，以修复由活动执行引起的所有约束违例。