Efficient run-time verification of web service composition
Yik Shiung Yau, Fang-Fang Chua · International Journal of Web Engineering and Technology · 2015
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.