关于一组条件义务的业务流程完全合规性的多项式时间判定
数据结构与算法
2020-01-29 v1 计算复杂性
摘要
在本文中，我们提出一种新方法来评估业务流程模型是否完全符合由一组条件义务组成的监管框架。该方法基于失败delta约束，在业务流程模型的树状表示的底向上聚合上进行评估。虽然证明完全合规的通用问题属于coNP完全，但我们表明，对于给定的由一组条件义务组成、其元素被限制为由命题文字表示的监管框架，使用我们的方法可以在多项式时间内验证无环结构化流程模型的完全合规性。
引用
@article{arxiv.2001.10148,
title = {Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time},
author = {Silvano Colombo Tosatto and Guido Governatori and Nick Van Beest},
journal= {arXiv preprint arXiv:2001.10148},
year = {2020}
}