Please use this identifier to cite or link to this item:
|Title:||Verification and Analysis of Web Service Composition||Authors:||TAN TIAN HUAT||Keywords:||Web Service, Web Service Composition, Service Orchestration, Model Checking, Partial Order Reduction, Formal Verification||Issue Date:||22-Aug-2013||Citation:||TAN TIAN HUAT (2013-08-22). Verification and Analysis of Web Service Composition. ScholarBank@NUS Repository.||Abstract:||The goal of Web service composition is to make use of existing heterogeneous Web services as components to achieve a business goal. In this thesis, we focus on verification and analysis of Web service composition. We first propose mechanism to verify the conformance of Web service orchestration with its choreography. We subsequently focus on verification on Web service composition. To address the state-explosion problem, we propose compositional partial order reduction (CPOR) that could provide effective state-space reduction in the context of hierarchical concurrent processes. To integrate non-functional requirements as part of the verification process, we further propose an automated approach to verify combined functional and non-functional requirements. We then move on to requirement generation. Given the response time requirement of composite service, we propose a fully automated approach to synthesize the response time requirement for component services. The proposed approaches have been implemented in a series of tool-set.||URI:||http://scholarbank.nus.edu.sg/handle/10635/48688|
|Appears in Collections:||Ph.D Theses (Open)|
Show full item record
Files in This Item:
|TanTH.pdf||1.71 MB||Adobe PDF|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.