Computer Science ›› 2008, Vol. 35 ›› Issue (1): 128-134.
Previous Articles Next Articles
GU Xi Wu LU Zheng-Ding (College of Computer Science and Technology, Huazhong University of Science and Technology,Wuhan 480074)
Online:
Published:
Abstract: The correctness of Web service composition includes dynamic behavior compatibility and data type consistency. This paper defines an extended type system based on Pi-calculus, and presents a typed formal model of BPEL4WS specification on the. basis of exte
Key words: Typed model, Web service composition, Business process execution language for Web services
GU Xi Wu LU Zheng-Ding (College of Computer Science and Technology, Huazhong University of Science and Technology,Wuhan 480074). [J].Computer Science, 2008, 35(1): 128-134.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2008/V35/I1/128
Cited