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