Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Author(s): Tan, Koon Leai Larry
Turner, Kenneth J
Contact Email:
Title: Automated Analysis and Implementation of Composed Grid Services
Editor(s): Dranidis, Dimitrios
Sakellariou, Ilias
Citation: Tan KLL & Turner KJ (2007) Automated Analysis and Implementation of Composed Grid Services In: Dranidis Dimitrios, Sakellariou Ilias (ed.) SEEFM07: Proceedings of the 3rd South-East European Workshop on Formal Methods, Thessaloniki: South-East European Research Centre. SEEFM07 - 3rd South-East European Workshop on Formal Methods, 30.11.2007 - 1.12.2007, Thessaloniki, Greece, pp. 51-64.
Issue Date: Nov-2007
Conference Name: SEEFM07 - 3rd South-East European Workshop on Formal Methods
Conference Dates: 2007-11-30T00:00:00Z
Conference Location: Thessaloniki, Greece
Abstract: Service composition allows web services to be combined into new ones. Web service composition is increasingly common in mission-critical applications. It has therefore become important to verify the correctness of web service composition using formal methods. The composition of grid services is a similar but new goal. We have previously developed an abstract graphical notation called CRESS for describing composite grid services. We have demonstrated that it is feasible to automatically generate service implementations as well as formal specifications from CRESS descriptions. The automated service implementations use orchestration code in BPEL, along with the service interfaces and data types in WSDL and XSD respectively for all services. CRESS-generated BPEL implementations currently do not useWSRF features such as implicit endpoint references for WS-Resources and interfacing to standard WSRF port types. CRESS-generated formal models use the standardised process algebra LOTOS. Service behaviour is modelled by processes, while service data types are modelled as abstract data types. Simulation and validation of the generated LOTOS specifications can be performed. In this paper, we illustrate how CRESS can be further extended to improve its generation of service compositions, specifically for WSRF services implemented using Globus Toolkit 4. We also show how to facilitate use of the generated LOTOS specifications with the CADP toolbox.
Status: Post-print (author final draft post-refereeing)
Rights: South-East European Research Centre. Copyright: November 2007

Files in This Item:
File Description SizeFormat 
comp-grid.pdf229.24 kBAdobe PDFView/Open

This item is protected by original copyright

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

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