多We b服务组合兼容性的自动化验证

• 作者: 贾志淳 邢星
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Pi演算 Web服务组合 行为兼容性 Web服务行为 自动化验证
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 大数据与云计算
• 页码范围: 67-73
• 页数: 7页
• 分类号: TP391
• 字数: 8252字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1405-0194

摘要

We b服务组合的目的是实现单一服务无法满足的复杂功能，而保证组合的正确性以实现服务增值是十分必要，因此组合之后的正确性验证是We b服务组合的一个重要研究方向。从We b服务交互行为方面描述多We b服务组合，在提出行为兼容性的相关理论的基础上，给出基于P i演算的多We b服务组合行为兼容性的自动化验证算法，通过将多We b服务组合自动转化为P i演算中的组合进程，实现多We b服务组合的自动化验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢星	渤海大学信息科学与技术学院	6	7	2.0	2.0
5	贾志淳	渤海大学信息科学与技术学院	23	47	4.0	5.0