用冲突管理监控混合过程规范：自动机理论方法
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
摘要：
到目前为止，业务流程监控方法主要集中在监控流程相对于单个流程模型的执行。然而，在某些情况下，有必要同时考虑多个过程规范。此外，这些规范可以是过程性的、声明性的或两者的组合。例如，在医学领域，描述特定疾病治疗的临床指南不能说明特定患者可能共存的所有可能的辅因子，因此可能需要考虑其他限制。在某些情况下，这些约束可能与临床指南不兼容，因此需要违反指南或约束。在本文中，我们提出了一个解决方案，用于监测的混合过程中的规范表示为（数据感知）Petri网和时序逻辑规则的组合的相互作用。在流程执行期间，如果这些规范相互冲突，则可能违反其中的一些规范。监控系统配备有违规成本模型，根据该模型，系统可以以避免可能的违规或最小化违规总成本的方式推荐下一个行动过程。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
