Representing and analysing composed web services using Cress

Composite web services are defined using the industry-standard language Bpel (Business Process Execution Logic). There is a strong need for graphical and automated support for this task. It is explained how Cress (Chisel Representation Employing Systematic Specification) has been extended to meet this challenge. Cress supports straightforward graphical descriptions of composite web services. Sample descriptions are presented of these. It is outlined how they are automatically implemented and systematically analysed using the target languages Bpel and Lotos (Language Of Temporal Ordering Specification).

[1]  Alfred V. Aho,et al.  SCF3/Sculptor with Chisel: Requirements Engineering for Communications Services , 1998, FIW.

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

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

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

[5]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

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

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

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

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

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

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

[12]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

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

[14]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

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

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

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

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

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

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

[21]  Serge Haddad,et al.  Modelling Web Services Interoperability , 2004, ICEIS.

[22]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

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

[24]  Kenneth J. Turner,et al.  Test generation for radiotherapy accelerators , 2005, International Journal on Software Tools for Technology Transfer.

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

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