Service-oriented computing is the paradigm that utilises services as fundamental elements for developing applications. Service composition, where data consistency becomes especially important, is still a key challenge for service-oriented computing. We maintain that there is one aspect of Web service communication on the data conformance side that has so far escaped the researchers attention. Aggregation of networked services gives rise to long pipelines, or quasi-pipeline structures, where there is a profitable form of inheritance called flow inheritance. In its presence, interface reconciliation ceases to be a local procedure, and hence it requires distributed constraint satisfaction of a special kind. We propose a constraint language for this, and present a solver which implements it. In addition, our approach provides a binding between the language and C++, whereby the assignment to the variables found by the solver is automatically translated into a transformation of C++ code. This makes the C++ Web service context compliant without any further communication. Besides, it uniquely permits a very high degree of flexibility of a C++ coded Web service without making public any part of its source code.

面向服务的计算是将服务用作开发应用程序的基本元素的范例。在数据一致性变得尤为重要的服务组合中，仍然是面向服务的计算的主要挑战。我们认为，到目前为止，Web服务通信在数据一致性方面存在着一个方面已经引起研究人员的注意。网络服务的聚合产生了较长的管道或准管道结构，其中存在一种有利可图的继承形式，称为流继承。在存在接口协调时，它不再是本地过程，因此需要一种特殊的分布式约束满足。我们为此提出了一种约束语言，并提出了实现它的求解器。此外，C ++，由此将对求解器找到的变量的赋值自动转换为C ++代码的转换。这使C ++ Web服务上下文兼容，而无需任何进一步的通信。此外，它独特地允许C ++编码的Web服务具有非常高的灵活性，而无需公开其源代码的任何部分。