Re: A question of Composite Web Service Verification

Hi Katia,
    In my opinion, the statement "reachable" means that a particular service can be reached in the process, or have the possibility that will be reached in the long run.

- Jianchao Wang
  ----- Original Message ----- 
  From: Katia Sycara 
  To: 'Wang Jianchao' ; www-ws@w3.org ; public-ws-chor@w3.org 
  Sent: Friday, September 26, 2003 3:08 AM
  Subject: RE: A question of Composite Web Service Verification


  I do not see how you can ensure that a service is reachable (I take it you mean that reachable during execution means that the service is running). 

   --Katia



  -----Original Message-----
  From: www-ws-request@w3.org [mailto:www-ws-request@w3.org] On Behalf Of Wang Jianchao
  Sent: Thursday, September 25, 2003 2:02 AM
  To: www-ws@w3.org; public-ws-chor@w3.org
  Subject: A question of Composite Web Service Verification



  Dear Colleagues,



      I am a new comer of the area of Web Service. In recent study, I met with a problem of how to verify that the structure of web service compostion is well-formed. Can I say a structure is well-formed if the structure satisfies the following properties: reachability and deadlock-freedom? (Reachability means that all the services included in the Composition can be reached while excuting the composition)  And if it is, how to verify the structure used to composite web services is well-formed?



  Thanks




  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  Jianchao Wang
  Technology Center of Software Engineering
  Institute of Software, Chinese Academy of Sciences
  P.O.Box 8718, Beijing 100080, P.R.China
  Email: jcwang@otcaix.iscas.ac.cn
  Phone: +8610-62630989-203
  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~