DocumentCode
3063891
Title
Verifying Web Services Composition: A Transformation-Based Approach
Author
Yang, Yanping ; Tan, Qingping ; Xiao, Yong ; Yu, Jinshan ; Liu, Feng
Author_Institution
National University of Defense Technology Changsha, Hunan, China
fYear
2005
fDate
05-08 Dec. 2005
Firstpage
546
Lastpage
548
Abstract
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.
Keywords
Application software; Educational institutions; Process design; Processor scheduling; Protocols; Research and development; System recovery; Testing; Virtual enterprises; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Computing, Applications and Technologies, 2005. PDCAT 2005. Sixth International Conference on
Print_ISBN
0-7695-2405-2
Type
conf
DOI
10.1109/PDCAT.2005.248
Filename
1578977
Link To Document