Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is necessary to consider multiple process specifications simultaneously. In addition, these specifications can be procedural, declarative, or a combination of both. For example, in the medical domain, a clinical guideline describing the treatment of a specific disease cannot account for all possible co-factors that can coexist for a specific patient and therefore additional constraints may need to be considered. In some cases, these constraints may be incompatible with clinical guidelines, therefore requiring the violation of either the guidelines or the constraints. In this paper, we propose a solution for monitoring the interplay of hybrid process specifications expressed as a combination of (data-aware) Petri nets and temporal logic rules. During the process execution, if these specifications are in conflict with each other, it is possible to violate some of them. The monitoring system is equipped with a violation cost model according to which the system can recommend the next course of actions in a way that would either avoid possible violations or minimize the total cost of violations.
翻译:迄今为止,业务过程监测方法主要侧重于监测单一过程模式进程的执行情况,但在某些情况下,有必要同时考虑多个过程规格;此外,这些规格可以是程序性的、宣示性的或两者兼而有之的;例如,在医疗领域,描述特定疾病治疗的临床准则不能说明所有可能的共生因素,这种因素可以与特定病人共存,因此可能需要考虑额外的限制;在某些情况下,这些限制因素可能与临床准则不相容,因此,需要违反准则或制约;在本文件中,我们提议一种解决办法,用以监测混合过程规格的相互作用,这些规格以(数据-意识到)彼得里网和时间逻辑规则的结合方式表示;在执行过程中,如果这些规格相互冲突,则有可能违反其中的某些因素;监测系统配备了一个违规费用模型,根据这个模型,系统可以建议下一个行动方针,以避免可能的违规行为,或尽可能降低违反行为的总费用。