Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/121355
DC FieldValue
dc.titleFORMAL ANALYSIS OF WEB SERVICE COMPOSITION
dc.contributor.authorCHEN MANMAN
dc.date.accessioned2015-10-31T18:00:33Z
dc.date.available2015-10-31T18:00:33Z
dc.date.issued2015-05-05
dc.identifier.citationCHEN MANMAN (2015-05-05). FORMAL ANALYSIS OF WEB SERVICE COMPOSITION. ScholarBank@NUS Repository.
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/121355
dc.description.abstractWeb 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.
dc.language.isoen
dc.subjectWeb Service, Web Service Composition, Model Checking, Formal Verification
dc.typeThesis
dc.contributor.departmentCOMPUTER SCIENCE
dc.contributor.supervisorDONG JIN SONG
dc.description.degreePh.D
dc.description.degreeconferredDOCTOR OF PHILOSOPHY
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Ph.D Theses (Open)

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

OPEN

NoneView/Download

Page view(s)

115
checked on Mar 27, 2020

Download(s)

131
checked on Mar 27, 2020

Google ScholarTM

Check


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