In the last decade, the term instance-spanning constraint has been introduced in the process mining field to refer to constraints that span multiple process instances of one or several processes. Of particular relevance, in this setting, is checking whether process executions comply with constraints of interest, which at runtime calls for suitable monitoring techniques. Even though event data are often stored in some sort of database, there is a lack of database-oriented approaches to tackle compliance checking and monitoring of (instance-spanning) constraints. In this paper, we fill this gap by showing how well-established technology from database query processing can be effectively used for this purpose. We propose to define an instance-spanning constraint through an ensemble of four database queries that retrieve the satisfying, violating, pending-satisfying, and pending-violating cases of the constraint. In this context, the problem of compliance monitoring then becomes an application of techniques for incremental view maintenance, which is well-developed in database query processing. In this paper, we argue for our approach in detail, and, as a proof of concept, present an experimental validation using the DBToaster incremental database query engine.
翻译:过去十年来,在采矿过程中引入了跨实例的限制这一术语,以提及跨越一个或几个过程的多种过程的制约。在这一背景下,特别相关的是检查执行过程是否符合感兴趣的限制,这种限制在运行时需要适当的监测技术。即使事件数据往往储存在某种数据库中,但缺乏以数据库为导向的方法来解决合规检查和监测(跨)限制问题。在本文件中,我们通过展示数据库查询处理工作中的既定技术如何能有效地用于这一目的来填补这一空白。我们提议通过四个数据库的共集质问询来界定一个实例覆盖限制,以检索满意、违反、待决满意度和待决的限制违规案例。在这方面,守约监测问题随后成为对增量视图维护技术的应用,而这种技术在数据库查询处理过程中发展得十分完善。在本文件中,我们提出我们的方法的细节,作为概念的证明,我们提出使用DBToaster渐进数据库查询引擎进行试验性验证。