Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/2515
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorTurner, Kenneth J.-
dc.contributor.authorTan, Koon Leai Larry-
dc.date.accessioned2010-10-27T12:09:38Z-
dc.date.available2010-10-27T12:09:38Z-
dc.date.issued2009-12-
dc.identifier.urihttp://hdl.handle.net/1893/2515-
dc.description.abstractThis thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to enable the orchestration of web services, but there have also been investigation of its use for grid services. BPEL specifies the implementation of service composition but has no formal semantics; implementations are in practice checked by testing. Formal methods are used in general to define an abstract model of system behaviour that allows simulation and reasoning about properties. The approach can detect and reduce potentially costly errors at design time. CRESS (Communication Representation Employing Systematic Specification) is a domainindependent, graphical, abstract notation, and integrated toolset for developing composite web service. The original version of CRESS had automated support for formal specification in LOTOS (Language Of Temporal Ordering Specification), executing formal validation with MUSTARD (Multiple-Use Scenario Testing and Refusal Description), and implementing in BPEL4WS as the early version of BPEL standard. This thesis work has extended CRESS and its integrated tools to design, specify, validate, verify, implement, and evaluate composed web/grid services. The work has extended the CRESS notation to support a wider range of service compositions, and has applied it to grid services as a new domain. The thesis presents two new tools, CLOVE (CRESS Language-Oriented Verification Environment) and MINT (MUSTARD Interpreter), to respectively support formal verification and implementation testing. New work has also extended CRESS to automate implementation of composed services using the more recent BPEL standard WS-BPEL 2.0.en
dc.language.isoenen
dc.publisherUniversity of Stirlingen
dc.subjectmethodologyen
dc.subjectformalisationen
dc.subjectgrid serviceen
dc.subjectweb serviceen
dc.subjectcompositionen
dc.subject.lcshComputational grids (Computer systems)en
dc.subject.lcshDatabase managementen
dc.subject.lcshWeb servicesen
dc.subject.lcshService-oriented architecture (Computer systems)en
dc.titleAn Integrated Methodology for Creating Composed Web/Grid Servicesen
dc.typeThesis or Dissertationen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnameDoctor of Philosophyen
dc.contributor.funderOverseas Research Studentship, Thomas and Margaret Roddan Trust, GEODE Project, DAMES Nodeen
dc.author.emaillarrytkl@gmail.comen
dc.contributor.affiliationSchool of Natural Sciences-
dc.contributor.affiliationComputing Science and Mathematics-
Appears in Collections:Computing Science and Mathematics eTheses

Files in This Item:
File Description SizeFormat 
klt-thesis-final-sept.pdf2.47 MBAdobe PDFView/Open


This item is protected by original copyright



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

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.