多We＋b服务组合兼容性自动化验证.pdfVIP

Computer Engineering and Applications 计算机工程与应用 2016 ，52（7 ） 67 多Web 服务组合兼容性的自动化验证 1 1，2 贾志淳 ，邢 星 1 1，2 JIA Zhichun , XING Xing 1.渤海大学 信息科学与技术学院，辽宁 锦州 121013 2.哈尔滨工业大学 航天学院，哈尔滨 150001 1.College of Informational Science and Technology, Bohai University, Jinzhou, Liaoning 121013, China 2.School of Astronautics, Harbin Institute of Technology, Harbin 150001, China JIA Zhichun, XING Xing. Automated verification of compositional compatibility for multiple Web service. Com- puter Engineering and Ap