A rigorous approach to orchestrating grid services



Turner KJ & Tan KLL (2007) A rigorous approach to orchestrating grid services. Computer Networks, 51 (15), pp. 4421-4441.

Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using the technique of CRESS (Communication Representation Employing Systematic Specification) to describe the composition of grid services. CRESS descriptions are automatically translated into LOTOS (Language Of Temporal Ordering Specification), allowing systematic checks for interoperability and logical errors prior to implementation. MUSTARD (Multiple-Use Scenario Test and Refusal Description) is used to validate the generated specification against use case scenarios. The same CRESS descriptions are then automatically converted into BPEL/WSDL code for practical realisation of the composed services. Grid services are executed by Globus Toolkit 4, while their orchestration is supported by the ActiveBPEL engine. The MUSTARD scenarios are used again to evaluate the implementation. The overall approach therefore supports rigorous development and automated creation of orchestrated grid services.

ABSTRACTS; ACCURACY; AFFILIATION; AUTOMATION; BUSINESS; Cartography; Communication; composition; COMPUTER networks; Copyright; description; Development; email; ERROR; ERRORS; EVALUATE; grid; Grid service; GRIDS (Cartography); Implementation; INSTRUMENTATION & orchestration; language; LOTOS; MATHEMATICS; NETWORK; networks; NUMBER; properties; representation; Science; service; services; SITES; Stirling; support; United Kingdom; universities; WEB services

Computer Networks: Volume 51, Issue 15

Publication date24/10/2007
Publication date online03/07/2007

People (1)


Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science