A Formal Verification for Web Service Composition Based on CCS

Abstract:

Article Preview

Web service composition is a complex and error-prone process. To guarantee its correctness, CCS is exploited as a formal tool to model Web service composition. Composition algebra is defined to specify the rules through which a compositive service can be generated. The transformation mechanisms from service compositions into CCS formalisms according to their corresponding composition operators are gone into details. Then, the automatic reasoner CWB is used to validate the constructed model, by which the dynamic behaviors of the model can be verified and such composition errors as deadlocks can be detected in advance, thus enhancing the composition reliability and avoiding runtime failure. Finally, an example is given to illustrate the effectiveness of this approach.

Info:

Periodical:

Key Engineering Materials (Volumes 392-394)

Edited by:

Guanglin Wang, Huifeng Wang and Jun Liu

Pages:

330-334

DOI:

10.4028/www.scientific.net/KEM.392-394.330

Citation:

B.S. Yun et al., "A Formal Verification for Web Service Composition Based on CCS", Key Engineering Materials, Vols. 392-394, pp. 330-334, 2009

Online since:

October 2008

Authors:

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.