CORC

浏览/检索结果: 共9条,第1-9条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
A petri net-based method for data validation of web services composition 其他
2010-01-01
Xu, Chunxiang; Qu, Wanling; Wang, Hanpin; Wang, Zizhen; Ban, Xiaojuan
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13
Semantic analysis of UML2.0 sequence diagram based on model transformation 其他
2010-01-01
Zhu, Meixia; Wang, Hanpin; Jin, Wei; Wang, Zizhen; Xu, Chunxiang
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics 其他
2009-01-01
Xu, Chunxiang; Wang, Hanpin; Qu, Wanling; Zhu, Meixia; Huang, Yu
收藏  |  浏览/下载:1/0  |  提交时间:2015/11/16
Modeling and Verifying BPEL Using Synchronized Net 其他
2008-01-01
Xu, Chunxiang; Wang, Hanpin; Qu, Wanling
收藏  |  浏览/下载:4/0  |  提交时间:2015/11/13
Formalizing Web service choreography interface 其他
2007-01-01
Huang, Yu; Xu, Chunxiang; Wang, Hanpin; Xia, Yunni; Zhu, Jiaqi; Zhu, Cheng
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
Formalizing Web service choreography interface 其他
2007-01-01
Yu, Huang; Yunni, Xia; Chunxiang, Xu; Jiaqi, Zhu; Hanpin, Wang; Cheng, Zhu
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/13
Stochastic modeling and quality evaluation of component-based software systems 其他
2006-01-01
Xia Yunni; Wan Hanpin; Huang Yu; Xu Chunxiang
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
Stochastic modeling and quality evaluation of workflow systems based on QWF-Nets 其他
2006-01-01
Xia, Yunni; Wang, Hanpin; Xu, Chunxiang; Li, Liang
收藏  |  浏览/下载:5/0  |  提交时间:2015/11/13
Stochastic modeling and quality evaluation of component-based software systems 其他
2006-01-01
Xia, Yunni; Wan, Hanpin; Huang, Yu; Xu, Chunxiang
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13


©版权所有 ©2017 CSpace - Powered by CSpace