多Web服务组合兼容性的自动化验证
Automated verification of compositional compatibility for multiple Web service作者机构：渤海大学信息科学与技术学院辽宁锦州121013 哈尔滨工业大学航天学院哈尔滨150001
出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)
年 卷 期：2016年第52卷第7期
页 面：67-73页
学科分类：08[工学] 081203[工学-计算机应用技术] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：Pi演算 Web服务组合 行为兼容性 Web服务行为 自动化验证
摘 要：Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论的基础上,给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法,通过将多Web服务组合自动转化为Pi演算中的组合进程,实现多Web服务组合的自动化验证。
维普期刊数据库
同方期刊数据库