A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
The data exchanged among the web services participating to a composition are clearly very relevant for a correct behavior of the composition. Nevertheless, most of the approaches existing in the literature for the static verification of web service compositions ignore data, or require very small ranges to be associated to the data types. In this paper, we propose an approach for the verification of web service compositions that takes into account the data flows among the component process. Thedoi:10.1109/icws.2006.124 dblp:conf/icws/KazhamiakinP06 fatcat:t2ojbviyd5fxpjqr7xpqr4fiaq