Developing Consistent Contractual Policies in Service Composition
Developing Consistent Contractual Policies in Service Composition
复制标题
DOI：
10.1109/apscc.2007.66
复制
发表时间：
2007-12
期刊：
影响因子：
--
通讯作者：
F. Ishikawa;Nobukazu Yoshioka;S. Honiden
中科院分区：
文献类型：
--
作者：
F. Ishikawa;Nobukazu Yoshioka;S. Honiden
契约（或协议）的概念被认为有助于促进消费者和提供者之间在服务提供中的相互理解和配置。但是，还没有讨论如何在组合服务与其组件服务提供者及其消费者建立的多个契约中确保一致性。针对这一问题，本研究提供了一个基于事件演算的理论基础来表达和推理契约的各种约束以及一致性属性。在提出的基础上，本研究还讨论了如何使用事件演算上的现有推理器来帮助制定一致的合同政策或合同约束。开发了一种工具来包装推理器并促进一致性检查和测试。
The notion of contracts (or agreements) has been considered useful to promote mutual understanding and configuration in service provision between its consumer and provider. However, it has not been discussed how consistency can be ensured in multiple contracts that a composite service establishes with its component service providers and its consumers. In response to the problem, this study provides a theoretical foundation, based on event calculus, for expressing and reasoning about various constraints on contracts as well as consistency properties. On the basis of the proposed foundation, this study also discusses how an existing reasoner on event calculus can be used to help development of consistent contractual policies, or constraints on contracts. A tool is developed that wraps the reasoner and facilitates consistency checking and testing.