机译:使用操作和控制行为对组合Web服务进行符号模型检查
Concordia University, Concordia Institute for Information Systems Engineering, 1515 Ste-Catherine Street West, EV7.640, Montreal, Quebec, Canada H3G 2W1,Khalifa University of Science, Technology and Research, College of Engineering, Abu Dhabi, United Arab Emirates;
Kuwait University, Computer Science Department, Kuwait;
Ubisoft Divertissement, Montreal, Canada;
Zayed University, College of Information Technology, Dubai, United Arab Emirates;
composite web service; behavior; soundness; completeness; symbolic model checking; NuSMV;
机译:分离操作和控制行为:Web服务建模的新方法
机译:基于模型检查的组合Web服务中的冲突检测
机译:Web服务之间的行为兼容性检查方法
机译:使用符号测试和SMT求解器检查Web服务的行为一致性
机译:模型检查:纠正具有浏览器行为的网页导航。
机译:强迫性检查喹吡罗致敏大鼠作为强迫症的动物模型:形式和控制
机译:指定和验证合同驱动的组合Web服务:一种模型检查方法