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

Re: A question of Composite Web Service Verification

From: Jianchao Wang <jcwang@otcaix.iscas.ac.cn>
Date: Sun, 12 Oct 2003 09:57:04 +0800
Message-ID: <005501c39064$22a31bb0$ae858585@jcwang>
To: "Chiusano Joseph" <chiusano_joseph@bah.com>, <www-ws@w3.org>, <public-ws-chor@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:44 GMT