A Coverage-Determination Mechanism for Checking Business Contracts against Organizational Policies
A Coverage-Determination Mechanism for Checking Business Contracts against Organizational Policies
复制标题
用于根据组织策略检查业务合同的覆盖范围确定机制
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
J. Bacon
中科院分区：
文献类型：
--
作者：
A. Abrahams;D. Eyers;J. Bacon
EDEE系统提供了一个框架，通过该框架，企业可以使用事件的统一概念将与业务事件、合同和组织政策有关的数据存储在单个存储库中。存储的查询的集合（参见SQL视图）。每个查询都描述了根据组织的合同和政策规定所承诺和禁止的事件。本文提出了一种机制，静态和动态派生的重叠查询之间。我们表明，通过工作的例子，通过确定这些覆盖关系，我们可以发现业务合同和组织政策之间的不一致。
The EDEE system provides a framework through which businesses may store the data pertaining to business events, contracts and organizational policies, within a single repository using the unifying notion of an occurrence. A collection of stored queries (cf. SQL views) is maintained. Each query describes the occurrences promised and prohibited under the provisions of the contracts and policies of an organization. This paper proposes a mechanism for both the static and dynamic derivation of the overlaps between queries. We show, through worked examples, that by determining these covering relationships we can discover inconsistencies between business contracts and organizational policies.