W3C home > Mailing lists > Public > public-ws-chor@w3.org > September 2003

Re: A question of Composite Web Service Verification

From: Wang Jianchao <jcwang@otcaix.iscas.ac.cn>
Date: Sun, 12 Oct 2003 09:41:46 +0800
Message-ID: <002701c39062$0001ab50$ae858585@jcwang>
To: "Katia Sycara" <katia@cs.cmu.edu>, <www-ws@w3.org>, <public-ws-chor@w3.org>
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). 


  -----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?


  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
Received on Thursday, 25 September 2003 21:43:52 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:12 UTC