Non-Local Configuration of Component Interfaces by Constraint Satisfaction
View/ Open
Author
Tveretina, Olga
Zaichenkov, Pavel
Shafarenko, Alex
Attention
2299/23048
Abstract
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.
Publication date
2020-08-05Published in
ConstraintsPublished version
https://doi.org/10.1007/s10601-020-09309-yOther links
http://hdl.handle.net/2299/23048Metadata
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
Public Involvement in Environmental Matters and the Funding Constraints in Securing Access to Justice
Stookes, Paul (2008-10-20)This thesis brings together six works published between 2003 and 2007 which consider public involvement in environmental matters. The later works focus on access to justice, one of three elements of public involvement. The ... -
Adaptive Constraint Solving for Information Flow Analysis
Dash, Santanu Kumar (2015-08-25)In program analysis, unknown properties for terms are typically represented symbolically as variables. Bound constraints on these variables can then specify multiple optimisation goals for computer programs and nd application ... -
Informational Constraints and Organisation of Behaviour
van Dijk, Sander Gerrit (University of Hertfordshire, 2014-01-24)Based on the view of an agent as an information processing system, and the premise that for such a system it is evolutionary advantageous to be parsimonious with respect to informational burden, an information-theoreti ...