| Web服务降级替换的一致性问题及量化研究 |
| |
| 引用本文： | 吴新星,胡国胜,陈仪香.Web服务降级替换的一致性问题及量化研究[J].计算机科学,2015,42(2):81-85,94. |
| |
| 作者姓名： | 吴新星 胡国胜 陈仪香 |
| |
| 作者单位： | 1. 上海电子信息职业技术学院计算机应用系 上海201411
2. 华东师范大学教育部软硬件协同设计技术与应用工程研究中心 上海200062 |
| |
| 摘 要： | 在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
|
| 关 键 词： | 进程演算(CCS) Web服务 降级替换 量化 |
| 收稿时间： | 2014/3/31 0:00:00 |
| 修稿时间： | 2014/6/16 0:00:00 |
Quantification and Conformance of Web Service Degraded Substitution |
| |
| WU Xin-xing,HU Guo-sheng and CHEN Yi-xiang.Quantification and Conformance of Web Service Degraded Substitution[J].Computer Science,2015,42(2):81-85,94. |
| |
| Authors: | WU Xin-xing HU Guo-sheng and CHEN Yi-xiang |
| |
| Affiliation: | Department of Computer,Shanghai Technical Institute of Electronics & Information,Shanghai 201411,China,Department of Computer,Shanghai Technical Institute of Electronics & Information,Shanghai 201411,China and Soft/Hardware Co-design Engineering Research Center MoE,East China Normal University,Shanghai 200062,China |
| |
| Abstract: | 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 confor-mance 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. |
| |
| Keywords: | Calculus of communication system(CCS) Web service Degraded substitution Quantification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
