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

A question of Composite Web Service Verification

From: Wang Jianchao <jcwang@otcaix.iscas.ac.cn>
Date: Thu, 25 Sep 2003 15:02:16 +0800
Message-ID: <009e01c38332$f4e92770$ae858585@jcwang>
To: <www-ws@w3.org>, <public-ws-chor@w3.org>
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 03:06:05 GMT

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