具有冲突管理的混合流程规范监控：自动机理论方法
人工智能
2021-11-29 v1
摘要
业务流程监控方法迄今为止主要集中于针对单一流程模型监控流程的执行。然而，在某些情况下，有必要同时考虑多个流程规范。此外，这些规范可以是过程式的、声明式的，或两者的组合。例如，在医疗领域，描述特定疾病治疗的临床指南无法涵盖特定患者可能并存的所有可能共病因素，因此可能需要考虑额外的约束。在某些情况下，这些约束可能与临床指南不兼容，从而需要违反指南或约束之一。在本文中，我们提出了一种用于监控以（数据感知）Petri网与时态逻辑规则组合形式表达的混合流程规范相互作用的解决方案。在流程执行期间，如果这些规范彼此冲突，则可能违反其中某些规范。监控系统配备了一个违规代价模型，根据该模型，系统可以推荐下一步行动方案，以避免可能的违规或最小化违规总代价。
引用
@article{arxiv.2111.13136,
title = {Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach},
author = {Anti Alman and Fabrizio Maria Maggi and Marco Montali and Fabio Patrizi and Andrey Rivkin},
journal= {arXiv preprint arXiv:2111.13136},
year = {2021}
}