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

Re: A question of Composite Web Service Verification

From: Chiusano Joseph <chiusano_joseph@bah.com>
Date: Thu, 25 Sep 2003 15:27:51 -0400
Message-ID: <3F7341B7.60D310EE@bah.com>
To: Wang Jianchao <jcwang@otcaix.iscas.ac.cn>
Cc: www-ws@w3.org, public-ws-chor@w3.org
Jianchao,

By "reachable" do you mean "able to be discovered"? Also, what is your
definition of "well-formed"?

Kind Regards,
Joe Chiusano
Booz | Allen | Hamilton

> Wang Jianchao wrote:
> 
> 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
> ~~~~~~~~~~~~~~~~~~~~~~~~~~
Received on Thursday, 25 September 2003 15:36:21 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 18 December 2010 01:00:30 GMT