Computer Science ›› 2007, Vol. 34 ›› Issue (3): 69-74.
Previous Articles Next Articles
GU Xi-Wu, LU Zheng-Ding （College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074）
Online:
Published:
Abstract: One of important issue in Web service composition researching area is how to describe Web service composition formally and verify the correctness of Web service composition. A formal model of Web service composition can be used to check and verify Web ser
Key words: Pi-calculus, Web service, 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 430074）. [J].Computer Science, 2007, 34(3): 69-74.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2007/V34/I3/69
Cited
Home