Int. J. of Web Engineering and Technology   »   2015 Vol.10, No.2



Title: Efficient run-time verification of web service composition


Authors: Yik-Shiung Yau; Fang-Fang Chua


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


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


Available online: 10 Jul 2015



Editors Full text accessPurchase this articleComment on this article