版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Web服务降级替换的一致性问题及量化研究
Quantification and Conformance of Web Service Degraded Substitution作者机构：上海电子信息职业技术学院计算机应用系上海201411 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062
出 版 物：《计算机科学》 (Computer Science)
年 卷 期：2015年第42卷第2期
页 面：81-85,94页
学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
