论文标题
业务流程在多项式时间内完全符合一组条件义务
Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time
论文作者
论文摘要
在本文中，我们提出了一种新方法，以评估业务流程模型是否完全符合由一套有条件义务组成的监管框架。该方法是基于失败的Delta-constraints，这些分类是根据业务过程模型的类似树状表示的自下而上的聚合进行评估的。虽然证明完全合规性的通用问题是综合性的，但我们表明，使用我们的方法论可以在多项式时间内完成验证完整的合规性，用于给定一组条件义务组成的无环状结构过程模型，其元素被限制在提议文字中所代表
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
