Use this URL to cite or link to this record in EThOS:
Title: An integrated methodology for creating composed Web/grid services
Author: Tan, Koon Leai Larry
ISNI:       0000 0001 2307 2988
Awarding Body: University of Stirling
Current Institution: University of Stirling
Date of Award: 2009
Availability of Full Text:
Access from EThOS:
Access from Institution:
This 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.
Supervisor: Turner, Kenneth J. Sponsor: Overseas Research Studentship ; Thomas and Margaret Roddan Trust ; GEODE Project ; DAMES Node
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: methodology ; formalisation ; grid service ; web service ; composition ; Computational grids (Computer systems) ; Database management ; Web services ; Service-oriented architecture (Computer systems)