一种Web服务组合形式化模型及验证方法

• 作者: 周昆 金可音
• 来源期刊: 科技与创新
• 关键词: Pi演算 Web服务 服务组合 组合验证
• 年，卷（期）: 2010,（30）
• 页码范围: 209-211
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2010.30.076

摘要

Web服务组合研究领域中一个重要的研究内容是服务组合验证问题,通过对Web服务组合建立形式化模型,在服务组合之前进行形式化验证,以确保满足服务组合符合设计者的预期目标.Pi演算是一种适合描述动态拓扑结构的并发系统的进程代数.本文首先介绍了Pi演算的基本语法,建立了Pi演算与BPEL4WS的映射关系,提出了一种基于Pi演算的BPEL4WS的形式化模型,最后通过案例给出了模型的验证过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金可音	湖南工业大学计算机与通信学院	17	116	6.0	10.0
2	周昆	湖南工业大学计算机与通信学院	2	9	1.0	2.0