期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Web服务降级替换的一致性问题及量化研究
被引量：
2
1
作者
吴新星
胡国胜
陈仪香
《计算机科学》
CSCD
北大核心
2015年第2期81-85,94,共6页
在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一...
在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
展开更多
关键词
进程演算(CCS)
WEB服务
降级替换
量化
下载PDF
职称材料
题名
Web服务降级替换的一致性问题及量化研究
被引量：
2
1
作者
吴新星
胡国胜
陈仪香
机构
上海电子信息职业技术学院计算机应用系
华东师范大学教育部软硬件协同设计技术与应用工程研究中心
出处
《计算机科学》
CSCD
北大核心
2015年第2期81-85,94,共6页
文摘
在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
关键词
进程演算(CCS)
WEB服务
降级替换
量化
Keywords
Calculus
of
communication
system（CCS）
Web
service
degraded
substitution
Quantification
分类号
TP3-0 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Web服务降级替换的一致性问题及量化研究
吴新星
胡国胜
陈仪香
《计算机科学》
CSCD
北大核心
2015
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
