Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/121355
Title: FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
Authors: CHEN MANMAN
Keywords: Web Service, Web Service Composition, Model Checking, Formal Verification
Issue Date: 5-May-2015
Citation: CHEN MANMAN (2015-05-05). FORMAL ANALYSIS OF WEB SERVICE COMPOSITION. ScholarBank@NUS Repository.
Abstract: Web service technologies have emerged as a de-facto standard for integrating disparate applications and systems using open, XML-based standards. In addition to building Web service interfaces to existing applications, a number of standards (e.g. WS-BPEL) have been proposed to compose these Web services together to form a more meaningful business processes. In this thesis, we focus on the verification and analysis of the composition of Web services. During the design time, we present a fully automated technique for synthesis of the local time requirements, selecting a set of services to compose a new Web service based on the synthesized results. Once the new Web service is built, we propose an approach to verify the combined functional and non-functional requirements directly. To help the service conform to requirements during runtime, we propose an automated approach based on genetic algorithm to generate the recovery plan.
URI: http://scholarbank.nus.edu.sg/handle/10635/121355
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
Thesis_final.pdf1.55 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

91
checked on Oct 26, 2018

Download(s)

120
checked on Oct 26, 2018

Google ScholarTM

Check


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