A rigorous approach to orchestrating grid services

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 ACTIVEBEPEL 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.

[1]  Aleksander Slomiski,et al.  On using BPEL extensibility to implement OGSI and WSRF Grid workflows , 2006, Concurr. Comput. Pract. Exp..

[2]  Jing Zhou,et al.  Describing and Reasoning on the Composition of Grid Services Using Pi-Calculus , 2006, The Sixth IEEE International Conference on Computer and Information Technology (CIT'06).

[3]  David W. Walker,et al.  Automated Composition of Semantic Grid Services , 2004 .

[4]  Borja Sotomayor,et al.  Globus® Toolkit 4, First Edition: Programming Java Services (The Morgan Kaufmann Series in Networking) , 2005 .

[5]  Irfan-Ullah Awan,et al.  Analysis of grid service composition with BPEL4WS , 2004, 18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004..

[6]  Cesare Pautasso,et al.  JOpera: an agile environment for Web service composition with visual unit testing and refactoring , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[7]  Kenneth J. Turner,et al.  Modelling SIP Services Using CRESS , 2002, FORTE.

[8]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[9]  Borja Sotomayor,et al.  Globus toolkit 4 : programming Java services , 2006 .

[10]  Evan H. Magill,et al.  Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK , 2000, FIW.

[11]  Kenneth J. Turner.  Validating feature‐based specifications , 2006, Softw. Pract. Exp..

[12]  Liang Chen,et al.  Grid Service Orchestration Using the Business Process Execution Language (BPEL) , 2005, Journal of Grid Computing.

[13]  Sebastián Uchitel,et al.  Compatibility verification for Web service choreography , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[14]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[15]  Gwen Salaün,et al.  Encoding abstract descriptions into executable Web services: towards a formal development , 2005, The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05).

[16]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[17]  S. Haddad,et al.  A dense time semantics for Web services specifications languages , 2004, Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004..

[18]  David W. Walker,et al.  Automated composition of semantic grid services (2004) , 2004 .

[19]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[20]  Kenneth J. Turner.  Formalising the Chisel Feature Notation , 2000, FIW.

[21]  Kenneth J. Turner.  Formalising Web Services , 2005, FORTE.

[22]  Donald F. Ferguson,et al.  Web Services Addressing (WS- Addressing) , 2004 .

[23]  Babak Esfandiari,et al.  On feature interactions among Web services , 2004 .

[24]  Ian T. Foster,et al.  Grid Services for Distributed System Integration , 2002, Computer.

[25]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[26]  H. Velthuijsen,et al.  Feature interactions in telecommunications systems , 1993, IEEE Communications Magazine.

[27]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[28]  Michael Weiss,et al.  Feature Interactions in Web Services , 2003, FIW.

[29]  Yow-Jian Lin,et al.  A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.

[30]  Kenneth J. Turner,et al.  Analysing interactive voice services , 2004, Comput. Networks.

[31]  Kenneth J. Turner,et al.  Representing and analysing composed web services using Cress , 2007, J. Netw. Comput. Appl..

[32]  Howard Foster,et al.  A rigorous approach to engineering web service compositions , 2006 .

[33]  Matthew R. Pocock,et al.  Taverna: a tool for the composition and enactment of bioinformatics workflows , 2004, Bioinform..

[34]  Rudolf Schmid,et al.  Organization for the advancement of structured information standards , 2002 .

[35]  Jeff Magee,et al.  Compatibility verification for Web service choreography , 2004 .

[36]  Kenneth J. Turner,et al.  Graphical Composition of Grid Services , 2006, RISE.