Re: A question of Composite Web Service Verification

Joseph,

In fact I don't have a very clear opinion about the definition of  well-formedness of a particular structure, this is a problem. What I also want to know is that whether the structure has the three properties and how to verify this problem.

Thanks

----- Original Message ----- 
From: "Chiusano Joseph" <chiusano_joseph@bah.com>
To: "Wang Jianchao" <jcwang@otcaix.iscas.ac.cn>
Cc: <www-ws@w3.org>; <public-ws-chor@w3.org>
Sent: Friday, September 26, 2003 3:27 AM
Subject: Re: A question of Composite Web Service Verification


> 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 21:59:06 UTC