10.3969/j.issn.1672-9722.2011.07.004
基于Pi演算的Web服务组合过程框架
文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用.并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法.
Web服务组合、过程框架、Pi演算、BPEL
39
TP393(计算技术、计算机技术)
2011-12-19(万方平台首次上网日期,不代表论文的发表时间)
共6页
12-16,174