文献类型：会议论文

英文题名：Generic web services composition verification based on batch proof method

作者：Zhai, Jie[1]; Shao, Zhiqing[1]

机构：[1] Department of Computer Science and Engineering, ECUST, Shanghai, China

会议论文集：Proceedings - 2011 International Conference on Computational and Information Sciences, ICCIS 2011

会议日期：October 21, 2011 - October 23, 2011

会议地点：Chengdu, Sichuan, China

语种：英文

外文关键词：Web services

摘要：Present verification techniques only verify the property of composition specification in one situation every time, there will be a substantial waste of effort. We propose batch proof method for verifying the property of generic services composition specification in all situations simultaneously. The main advantage of this method is to improve the efficiency of proof. The verified generic composition specification at an abstract level will be used in a variety of instances without repeating the proof. ? 2011 IEEE.