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
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;
Conference_Titel :
Parallel and Distributed Computing, Applications and Technologies, 2005. PDCAT 2005. Sixth International Conference on
Print_ISBN :
0-7695-2405-2
DOI :
10.1109/PDCAT.2005.248
