July 5, 2010 to July 10, 2010
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCC.2010.28
Web service composition is the process of integrating multiple independent Web Services into a coherent system that performs complex functions. This paper proposes an effective method for performing Web service composition and verification. We use Temporal Logic of Actions (TLA) to model Web services, composition patterns and users’ requests. Based on the models, composition can be created by conducting TLA reasoning. The correctness of composition result can also be verified by checking whether the resulted TLA formula implements a user’s request. A case study was conducted to illustrate the correctness of our approach.
Web service, service composition, TLA, verifying, OWL-S
Hongbing Wang, Qianzhao Zhou, Yanqi Shi, "Describing and Verifying Web Service Composition Using TLA Reasoning", SCC, 2010, 2013 IEEE International Conference on Services Computing, 2013 IEEE International Conference on Services Computing 2010, pp. 234-241, doi:10.1109/SCC.2010.28