基于Pi演算的Web服务组合过程框架

• 作者: 毛瑞雪
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: Web服务组合 过程框架 Pi演算 BPEL
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 算法与分析
• 页码范围: 12-16,174
• 分类号: TP393
• 字数: 3163字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2011.07.004

摘要

文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用.并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛瑞雪	武汉大学电子信息学院	3	16	2.0	3.0