loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05)
Verifying Web Services Composition: A Transformation-Based Approach
Dalian, China
December 05-December 08
ISBN: 0-7695-2405-2
ASCII Text
x 
 
YanPing Yang, QingPing Tan, Yong Xiao, JinShan Yu, Feng Liu, "Verifying Web Services Composition: A Transformation-Based Approach," Parallel and Distributed Computing Applications and Technologies, International Conference on, pp. 546-548, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/PDCAT.2005.248,
author = {YanPing Yang and QingPing Tan and Yong Xiao and JinShan Yu and Feng Liu},
title = {Verifying Web Services Composition: A Transformation-Based Approach},
journal ={Parallel and Distributed Computing Applications and Technologies, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2405-2},
pages = {546-548},
doi = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.248},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing Applications and Technologies, International Conference on
TI - Verifying Web Services Composition: A Transformation-Based Approach
SN - 0-7695-2405-2
SP546
EP548
A1 - YanPing Yang,
A1 - QingPing Tan,
A1 - Yong Xiao,
A1 - JinShan Yu,
A1 - Feng Liu,
PY - 2005
KW - null
VL - 0
JA - Parallel and Distributed Computing Applications and Technologies, International Conference on
ER -
 
YanPing Yang, National University of Defense Technology Changsha, Hunan, China
QingPing Tan, National University of Defense Technology Changsha, Hunan, China
Yong Xiao, National University of Defense Technology Changsha, Hunan, China
JinShan Yu, National University of Defense Technology Changsha, Hunan, China
Feng Liu, National University of Defense Technology Changsha, Hunan, China
Web services composition is an emerging paradigm for enabling application integration. BPEL is a promising language describing composition in form of business processes, but is lack of sound formal semantic. This paper presents the transformation of BPEL to CP-nets in a constructive way. Therefore we can translate composition specified in BPEL into CPnets, which can be analyzed and verified by many specialized tools. So we make tool support available for verifying BPEL composition.
Citation:
YanPing Yang, QingPing Tan, Yong Xiao, JinShan Yu, Feng Liu, "Verifying Web Services Composition: A Transformation-Based Approach," pdcat, pp.546-548, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.