Re: A question of Composite Web Service Verification

By "reachable/reached" do you mean, that at some point in time during 
the composition, you would be able to bind to the ports exposed by the 
service? Do you want to verify this property?

Wang Jianchao wrote:

> 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 <mailto:katia@cs.cmu.edu>
>     To: 'Wang Jianchao' <mailto:jcwang@otcaix.iscas.ac.cn> ;
>     www-ws@w3.org <mailto:www-ws@w3.org> ; public-ws-chor@w3.org
>     <mailto: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>
>     [mailto:www-ws-request@w3.org] On Behalf Of Wang Jianchao
>     Sent: Thursday, September 25, 2003 2:02 AM
>     To: www-ws@w3.org <mailto:www-ws@w3.org>; public-ws-chor@w3.org
>     <mailto: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 <mailto:jcwang@otcaix.iscas.ac.cn>
>     Phone: +8610-62630989-203
>     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>

-- 
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**
Monika Solanki
Software Technology Research Laboratory(STRL)
De Montfort University
Hawthorn building, H00.18
The Gateway
Leicester LE1 9BH, UK

phone: +44 (0)116 250 6170 intern: 6170
email: monika@dmu.ac.uk
web: http://www.cse.dmu.ac.uk/~monika
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**