Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/48688
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
Source: 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:
File Description SizeFormatAccess SettingsVersion 
TanTH.pdf1.71 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

136
checked on Dec 18, 2017

Download(s)

263
checked on Dec 18, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.