Automated verification of compositional compatibility for multiple Web service
JIA Zhichun1, XING Xing1,2
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 Zhichun1, XING Xing1,2. Automated verification of compositional compatibility for multiple Web service[J]. Computer Engineering and Applications, 2016, 52(7): 67-73.