Graphical Composition of Grid Services

Grid services and web services have similarities but also significant differences. Although conceived for web services, it is seen how BPEL (Business Process Execution Logic) can be used to orchestrate a collection of grid services. It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to describe grid service composition. The CRESS descriptions are automatically converted into BPEL/WSDL code for practical realisation of the composed services. This achieves orchestration of grid services deployed using the widely used Globus Toolkit and ActiveBPEL interpreter. The same CRESS descriptions are automatically translated into LOTOS, allowing systematic checks for interoperability and logical errors prior to implementation.

[1]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[2]  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).

[3]  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).

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

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

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

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

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

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

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

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

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

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

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

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

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

[17]  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..

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

[19]  Klaus Krippendorff,et al.  Content Analysis: An Introduction to Its Methodology , 1980 .