Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time [article]

Silvano Colombo Tosatto, Guido Governatori, Nick Van Beest
<span title="2020-01-28">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we present a new methodology to evaluate whether a business process model is fully compliant with a regulatory framework composed of a set of conditional obligations. The methodology is based failure delta-constraints that are evaluated on bottom-up aggregations of a tree-like representation of business process models. While the generic problem of proving full compliance is in coNP-complete, we show that verifying full compliance can be done in polynomial time using our
more &raquo; ... y, for an acyclic structured process model given a regulatory framework composed by a set of conditional obligations, whose elements are restricted to be represented by propositional literals
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.10148v1">arXiv:2001.10148v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b2plns6xdvdepeoaazzx3nfzvy">fatcat:b2plns6xdvdepeoaazzx3nfzvy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321042749/https://arxiv.org/pdf/2001.10148v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.10148v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>