References & Citations
Computer Science > Data Structures and Algorithms
Title: Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time
(Submitted on 28 Jan 2020)
Abstract: 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 methodology, 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
Submission history
From: Silvano Colombo Tosatto [view email][v1] Tue, 28 Jan 2020 02:45:57 GMT (1167kb)
Link back to: arXiv, form interface, contact.