Rigorous development of composite grid services

Cress (Communication Representation Employing Systematic Specification) is introduced as notation, a methodology and a toolset for service development. The article focuses on rigorous development of composite grid services, with particular emphasis on the principles behind the methodology. A straightforward graphical notation is used to describe grid services. These are then automatically specified, analysed and implemented. Analysis includes formal verification of desirable service properties, formal validation of test scenarios, testing of implementation functionality, and evaluation of implementation performance. The case study that illustrates the approach is document content analysis to compare two pieces of text. This involves two composite services supported by two partner services. The usability of the service design notation is assessed, and a comparison is made of the approach with similar ones. These show that the Cress approach to developing services is usable and more complete than other comparable approaches.

[1]  Liang Chen,et al.  Sedna: A BPEL-Based Environment for Visual Scientific Workflow Modeling , 2007, Workflows for e-Science, Scientific Workflows for Grids.

[2]  Peter Fettke,et al.  Business Process Modeling Notation , 2008, Wirtschaftsinf..

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

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

[5]  Colin Stirling,et al.  Modal Mu-Calculi , 2001 .

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

[7]  Ian Foster,et al.  The Globus toolkit , 1998 .

[8]  M. Harman,et al.  Testing Web Services : A Survey , 2011 .

[9]  C.A. Vissers,et al.  Formal description techniques , 1983, Proceedings of the IEEE.

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

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

[12]  Wolfgang Emmerich,et al.  Validating Distributed Object and Component Designs , 2003, SFM.

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

[14]  J. Hillston,et al.  Analysing Web Service Composition with PEPA , 2004 .

[15]  Stephen A. White,et al.  Business Process Modeling Notation (BPMN), Version 1.0 , 2004 .

[16]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[17]  Nora Koch,et al.  Sensoria - Software Engineering for Service-Oriented Overlay Computers , 2011, Results of the SENSORIA Project.

[18]  Tiziana Margaria,et al.  Model-Driven Development with the jABC , 2006, Haifa Verification Conference.

[19]  Paolo Falcarin,et al.  Using Temporal Business Rules to Synthesize Service Composition Process Models , 2007, ACT4SOC.

[20]  Radu Mateescu,et al.  An overview of CADP 2001 , 2001 .

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

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

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

[24]  Jing Li,et al.  Specifying and Verifying Web Transactions , 2008, FORTE.

[25]  Steffen Staab,et al.  Neurons, Viscose Fluids, Freshwater Polyp Hydra-and Self-Organizing Information Systems , 2003, IEEE Intell. Syst..

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

[27]  Radu Mateescu,et al.  CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes , 2011, TACAS.

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

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

[30]  Jan Tretmans Test Case Derivation from LOTOS Specifications , 1989, FORTE.

[31]  Steffen Staab,et al.  Web Services: Been There, Done That? , 2003, IEEE Intell. Syst..

[32]  Kenneth J. Turner,et al.  Automated Analysis and Implementation of Composed Grid Services , 2007 .

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

[34]  Steven Tuecke,et al.  Grid Services for Distributed System , 2002 .

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