Web服务组合的Pi-演算描述

• 作者: 常斌
• 来源期刊: 广东通信技术
• 关键词: Pi-演算 Web服务 进程代数 Web服务组合 协议栈
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 通信热点
• 页码范围: 41-45
• 页数: 5页
• 语种: 中文
• DOI: 10.3969/j.issn.1006-6403.2010.01.009

摘要

Pi-演算是一种适合于Web服务组合的进程代数,文章介绍了Pi-演算的基本语法,讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	常斌		1	2	1.0	1.0