Non-Local Configuration of Component Interfaces by Constraint Satisfaction

Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko

Research output: Contribution to journalArticlepeer-review

34 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)21–159
Early online date5 Aug 2020
Publication statusE-pub ahead of print - 5 Aug 2020


  • Interface Configuration
  • Constraint Language
  • Constraint Satisfaction
  • Constraint language
  • Constraint satisfaction
  • Interface configuration


Dive into the research topics of 'Non-Local Configuration of Component Interfaces by Constraint Satisfaction'. Together they form a unique fingerprint.

Cite this