Describing and Verifying Web Service Composition Using TLA Reasoning

Web service composition is the process of integrating multiple independent Web Services into a coherent system that performs complex functions. This paper pr...