Computer Science ›› 2008, Vol. 35 ›› Issue (4): 40-43.
Previous Articles Next Articles
CHENG Yong-Shang, WANG Zhi-Jian （Computer and Information Engineering College, Hohai University, Nanjing 210098）
Online:
Published:
Abstract: Composing Web service is one of the main research composition, analyzing and verifying the composition model can directions. Formally describing semantic Web service guarantee the correctness of the Web service composition. In this paper, firstly, the for
Key words: Web service, Web service composition, Petri nets, Model, Verification
CHENG Yong-Shang, WANG Zhi-Jian （Computer and Information Engineering College, Hohai University, Nanjing 210098）. [J].Computer Science, 2008, 35(4): 40-43.
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/I4/40
Cited
Home