摘要
在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
Software trustworthiness is facing greater challenges in open network environment,and one of approaches to improve the trustworthiness of software is degraded substitution.This paper mainly studied the Web service degraded substitution based on process algebra.In order to ensure the validity of Web service degraded substitution,a conformance condition was given based on the modified process algebra by introducing the time-out operator and the time-delay operator.Further,it studied the metric of Web service degraded substitution.
出处
《计算机科学》
CSCD
北大核心
2015年第2期81-85,94,共6页
Computer Science
关键词
进程演算(CCS)
WEB服务
降级替换
量化
Calculus of communication system（CCS）
Web service
Degraded substitution
Quantification
