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

RE: A question of Composite Web Service Verification

From: Katia Sycara <katia@cs.cmu.edu>
Date: Thu, 25 Sep 2003 15:08:15 -0400
To: 'Wang Jianchao' <jcwang@otcaix.iscas.ac.cn>, www-ws@w3.org, public-ws-chor@w3.org
Message-ID: <004b01c38398$61e91a00$a705a8c0@katiamobile2>
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
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 15:08:40 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:05:12 UTC