Paper Title:
A Formal Verification for Web Service Composition Based on CCS
  Abstract

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, J.W. Yan, M. Liu, "A Formal Verification for Web Service Composition Based on CCS", Key Engineering Materials, Vols. 392-394, pp. 330-334, 2009
Online since
October 2008
Export
Price
$32.00
Share

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

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

Authors: Ji Won Choi, Chong Yun Kang, Jin Sang Kim, Seok Jin Yoon, Hyun Jai Kim, R.B. vanDover
Abstract:The dielectric properties of (Ba,Sr)TiO3 (BSTO) and Zr doped BSTO thin films have been investigated to identify candidate thin film...
2351
Authors: Chun Dong Zhu, Fei Guo, Bo Wei
Abstract:Gearbox sliding bracket is an important component of Automobile Gearbox. Because it has many parts which have little difference in shape and...
368
Authors: Zhuang Wen Wu, Qi Feng Gao, Hai Lei Ren
Chapter 1: Advanced Design Technology
Abstract:A vehicle Cruise Control System(CCS) was designed based on Finite State Machine(FSM) theory and variable universe fuzzy logical theory. The...
141
Authors: Wen Peng Zhai, Ai Guo Wu, Yu Wen You
Abstract:Vapor compression chiller, the largest proportion of building energy consumption as the design and running characteristics, work at part load...
575
Authors: Kai Ding, Ping Yu Jiang, Xi Zhang
Chapter 28: Organization of Production and Engineering Management
Abstract:As the production mode evolves, social manufacturing has emerged for enterprises to outsource non-core production tasks, make full use of the...
3191