Title: Efficient run-time verification of web service composition

Authors: Yik-Shiung Yau; Fang-Fang Chua

Addresses: Faculty of Computing and Informatics, Multimedia University, Malaysia ' Faculty of Computing and Informatics, Multimedia University, Malaysia

Abstract: Service-oriented architecture (SOA) is an architectural solution that underlined loose coupling and dynamic binding between web services. SOA layers consist of client interface layer, web service composition (WSC) layer, web services layer, and web services-components layer. Web service composition realises SOA's promise of ease of development, high flexibility, reusability, and interoperability. However, current web service composition practice has a major drawback where the behaviour and the quality of web services consumed could deviate from what is anticipated, particularly during run-time. In this proposed work, we would like to develop a run-time verification system for web service composition to detect violation on system behaviour during run time. We highly emphasise on the efficiency attribute in order to develop a powerful verification system with fast response time.

Keywords: web service composition; WSC; runtime verification; efficiency; web services; service-oriented architecture; SOA.

DOI: 10.1504/IJWET.2015.072336

International Journal of Web Engineering and Technology, 2015 Vol.10 No.2, pp.170 - 198

Published online: 10 Jul 2015 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article