A Constraint-Based Approach for Developing Consistent Contracts in Composite Services
A Constraint-Based Approach for Developing Consistent Contracts in Composite Services
复制标题
DOI：
10.1109/services-i.2009.15
复制
发表时间：
2009-07
期刊：
影响因子：
--
通讯作者：
Basem Suleiman;F. Ishikawa
中科院分区：
文献类型：
--
作者：
Basem Suleiman;F. Ishikawa
面向服务的系统设计者面临的一个关键问题是根据组合Web服务契约的参数确保其一致性。本文利用约束满足的方法来检查问题在设计时，并专注于服务质量（QoS）合同参数。它提出了一个通用的框架，形式化的约束满足问题（CSP）的服务合同组合。它还介绍了一个初始的工具设计，自动组合合同的一致性检查和适应QoS参数的基础上。该工具的目的是支持Web服务编排指定合适的合同参数值，并调整它们，使组合合同的一致性在一定程度上增加。此外，它使他们能够在合同谈判阶段分析和推理违规百分比。建议的CSP框架和工具设计的好处已经通过一个股票管理器Web服务组合方案进行了说明。
A key problem that challenges the designers of service-oriented systems is ensuring the consistency of composite Web service contracts based on their parameters. This paper utilizes constraint satisfaction approach to examine the problem at design time and by focusing on quality of service (QoS) contract parameters. It proposes a generic framework to formalize service contract composition as a constraint satisfaction problem (CSP). It also introduces an initial tool design for automating composite contract consistency checking and adaptation based on QoS parameters. The tool aims at supporting Web service orchestrators to specify appropriate contract parameter values and adapt them so that consistency of composite contracts is increased to some extent. Further, it enables them to analyze and reason about violation percentages during contract negotiation phase. The benefits of the proposed CSP framework and the tool design have been illustrated through a Stock Manager Web service composition scenario.