基于Pi演算的Web服务组合过程框架
毛瑞雪
武汉大学电子信息学院武汉430079
摘要：文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用.并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法.
关键词：Web服务组合过程框架Pi演算BPEL
分类号：TP393(计算技术、计算机技术)
论文发表日期：2011-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 12-16,174 )
英文信息