决策感知过程模型健全性验证的整体方法（扩展版）
计算机科学中的逻辑
2018-04-09 v1
摘要
过去十年中，流程的设计、工程与挖掘日益从纯控制流视角转向也显式考虑数据与决策的更集成化模型。这要求有能够判定此类集成模型正确性的方法与技术。与以往主要关注决策与其对应输出分支局部相互作用的方法不同，我们引入一种整体方法，用于验证基于 Petri 网并 enriched with 案例数据与决策的过程模型的端到端健全性。具体而言，我们提出一种已实现的、有效的方法，通过将输入网翻译为具有有界颜色域的着色 Petri 网来验证健全性，随后可使用常规工具分析。我们证明了该技术的正确性与终止性。此外，我们将我们的贡献与近期关于决策感知健全性的结果相联系，表明我们的方法可立即应用于其中。
引用
@article{arxiv.1804.02316,
title = {A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)},
author = {Massimiliano de Leoni and Paolo Felli and Marco Montali},
journal= {arXiv preprint arXiv:1804.02316},
year = {2018}
}