基于并发事务逻辑的Web服务编制验证

PDF(243 KB)

电子学报 ›› 2009, Vol. 37 ›› Issue (10) : 2228-2233.

论文

基于并发事务逻辑的Web服务编制验证

作者信息 +

Verification of Web Service Orchestration Based on Concurrent Transaction Logic

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2009, 37(10): 2228-2233.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2009, 37(10): 2228-2233.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(243 KB)

Accesses

Citation

Detail

国家937重点研究发展规划(No.2007CB311100);北京工业大学博士科研启动基金;(No.502007013200704);北京工业大学青年基金;(No.97002011200702/X1007011200801)

段落导航