一种基于认知模型检测的web服务组合验证方法 a verification approach for web service compositions based on epistemic model checking.pdfVIP

第34卷第6期 计 算 机 学 报 v01．34No．6 oF 2011 2011年6月 CHINESEJOURNALCOMPUTERS June 一种基于认知模型检测的Web服务组合验证方法 骆翔宇”’2’ 谭 征3’ 苏开乐”’5’ 吴立军。 ”(华侨大学计算机科学与技术学院福建厦门361021) 2’(清华大学软件学院北京100084) 3)(中核兰州铀浓缩有限公司兰州 730065) ”(39京大学教育部高可信软件重点实验室北京 100871) 5’(浙江师范大学数理信息学院浙江金华321004) D(电子科技大学计算机科学与工程学院成都410073