Web服务降级替换的一致性问题及量化研究

发布时间：2017-07-30 12:25

  本文关键词：Web服务降级替换的一致性问题及量化研究

  更多相关文章： 进程演算(CCS) Web服务 降级替换 量化

【摘要】：在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
【作者单位】： 上海电子信息职业技术学院计算机应用系;华东师范大学教育部软硬件协同设计技术与应用工程研究中心;
【关键词】： 进程演算(CCS) Web服务 降级替换 量化
【分类号】：TP393.09
【正文快照】： 到稿日期:2014-03-31返修日期:2014-06-161引言当前,随着网络技术的发展,以Web服务为计算实体的网络软件系统已经成为主流,这类系统行为往往依赖于网络环境下的通信交互。而网络环境的开放性和不确定性,使得分析网络软件的行为变得更加具有挑战性,同时也对网络软件可信性提出

【参考文献】

中国期刊全文数据库 前6条

1 史玉良;王海洋;张亮;施伯乐;;Web服务合成的相容性与替换性分析[J];计算机研究与发展;2007年11期

2 刘莹;张一川;张斌;张明卫;朱志良;;基于行为效果的服务可替换性分析[J];计算机研究与发展;2010年08期

3 刘方方;史玉良;张亮;施伯乐;;基于进程代数的Web服务合成的替换分析[J];计算机学报;2007年11期

4 郭峰;魏光;;基于Petri网的Web服务描述及其可替换性分析[J];计算机集成制造系统;2013年06期

5 宋仲凯;张晓容;殷昱煜;;QoS驱动的服务动态替换方法[J];计算机应用与软件;2012年01期

6 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期

【共引文献】

中国期刊全文数据库 前10条

1 袁霖;王怀民;尹刚;史殿习;米海波;;基于角色的软件可信评估技术[J];北京工业大学学报;2010年05期

2 李震;刘斌;陆民燕;殷永峰;;基于扩展Petri网的除冰软件安全需求建模和验证[J];北京航空航天大学学报;2012年01期

3 石剑飞;闫怀志;秦玮;王文同;;Component-Based Software Trustworthiness Fuzzy Analytic Hierarchy Process Model[J];Journal of Beijing Institute of Technology;2010年02期

4 符宁;周兴社;詹涛;;基于受约束半环的服务可信性质评价方法[J];电子学报;2011年04期

5 张广泉;戎玫;王f;;时间感知Web服务交互行为建模与失配检测方法研究[J];电子学报;2011年11期

6 张慧颖;李波;曹希真;;针对航天测控实时软件的二级AHP-Fuzzy可信性评估模型[J];飞行器测控学报;2010年04期

7 戎强强;李方;余涛;;面向软件可信优化的失信因素分析方法[J];阜阳师范学院学报(自然科学版);2011年03期

8 罗新星;朱名勋;陈晓红;;可信软件中非功能需求FO-QSIG冲突权衡模型[J];系统工程;2010年02期

9 顾卫江;;基于可信软件的测试研究[J];计算机光盘软件与应用;2013年13期

10 谢文军;付晓;于振华;韩林;;信息物理融合系统软件可信性演化动力学建模[J];电讯技术;2014年02期

中国重要会议论文全文数据库 前5条

1 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

2 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年

3 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年

4 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年

5 裴顺昌;宋浩;李建平;蔡晨;;基于CMMI风险管理体系的可信软件开发风险管理研究[A];第十一届中国管理科学学术年会论文集[C];2009年

中国博士学位论文全文数据库 前10条

1 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年

2 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年

3 王晓暾;不确定信息环境下的质量功能展开研究[D];浙江大学;2011年

4 向纯洁;信息系统开发团队绩效影响行为因素研究[D];华中科技大学;2011年

5 王娟丽;基于QFD的概念设计方法研究[D];浙江大学;2011年

6 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年

7 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年

8 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年

9 唐姗;基于目标的高可信自适应容错软件开发方法研究[D];复旦大学;2011年

10 宋成;可信计算平台中若干关键技术研究[D];北京邮电大学;2011年

中国硕士学位论文全文数据库 前10条

1 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年

2 刘小飞;分布式软件动态调控策略研究[D];湖南工业大学;2010年

3 张祥涛;基于语义Web服务的多层次匹配模型的研究与实现[D];华南理工大学;2010年

4 李静;基于灰色理论的可信软件规划质量屋模型研究[D];浙江大学;2011年

5 朱恒亮;SOA中服务与服务组合的形式化研究[D];福建师范大学;2010年

6 马世敏;基于可信计算的内网监控系统的研究与实现[D];电子科技大学;2011年

7 肖文;基于QoS的可信Web服务组合及其相关问题研究[D];西南大学;2011年

8 江阳;Web服务组合与验证相关技术研究[D];中南大学;2011年

9 常斌;基于Pi-演算的Web服务组合的描述和验证[D];南京邮电大学;2011年

10 王培君;软件产品族的变化性建模方法研究[D];浙江工业大学;2010年

【二级参考文献】

中国期刊全文数据库 前10条

1 廖军;谭浩;刘锦德;;基于Pi-演算的Web服务可替换性验证[J];华中科技大学学报(自然科学版);2005年S1期

2 史玉良;黄光安;叶炜;张亮;施伯乐;;基于任务依赖信息的Web服务自动合成[J];计算机研究与发展;2006年12期

3 邱莉榕;史忠植;林芬;常亮;;基于主体的语义Web服务自动组合研究[J];计算机研究与发展;2007年04期

4 史玉良;王海洋;张亮;施伯乐;;Web服务合成的相容性与替换性分析[J];计算机研究与发展;2007年11期

5 陈丁剑;吴健;马满福;胡正国;;基于Petri网的Web服务组合建模[J];计算机科学;2006年05期

6 闫春钢;蒋昌俊;李启炎;;基于Petri网的Web服务组合与分析[J];计算机科学;2007年02期

7 王明微;张树生;周竞涛;;面向服务型制造的协同业务流程构建框架[J];计算机集成制造系统;2010年11期

8 钱柱中;陆桑璐;谢立;;基于Petri网的Web服务自动组合研究[J];计算机学报;2006年07期

9 刘方方;史玉良;张亮;施伯乐;;基于进程代数的Web服务合成的替换分析[J];计算机学报;2007年11期

10 李喜彤;范玉顺;;Web服务流程相容性和相似性分析[J];计算机学报;2009年12期

【相似文献】

中国期刊全文数据库 前10条

1 林闯,魏丫丫;随机进程代数与随机Petri网[J];软件学报;2002年02期

2 周伟,尹青,郭金庚;安全进程代数基础[J];信息工程大学学报;2004年02期

3 尹青,周伟,郭金庚;基于安全进程代数的信息流模型[J];信息工程大学学报;2004年03期

4 马梁;李明;宋洁;顾军华;;进程代数在性能评价中的应用研究[J];河北工业大学学报;2006年04期

5 郭辉;;进程代数及其在性能评价中的应用综述[J];微计算机应用;2007年09期

6 肖芳雄;黄志球;曹子宁;张君华;覃志东;;一种扩展了价格信息的进程代数[J];南京航空航天大学学报;2009年01期

7 王精明;虞慧群;;基于安全进程代数的非演绎安全模型的分析与验证[J];计算机科学;2012年02期

8 曾国荪，周定康;具有真正并发语义的面向约束的实时进程代数[J];江西师范大学学报(自然科学版);1999年02期

9 王精明;虞慧群;;基于安全进程代数的信息流安全模型的分析与验证[J];华东理工大学学报(自然科学版);2012年01期

10 刘万伟;周倜;李梦君;李舟军;;一种基于进程代数的安全协议验证消解算法[J];计算机工程与科学;2006年07期

中国重要会议论文全文数据库 前3条

1 武彦平;;通信距离受限的进程代数研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年

2 蔡国永;高济;董荣胜;;电子机构的进程代数模型研究[A];2007年全国开放式分布与并行计算机学术会议论文集(下册)[C];2007年

3 潘耘;王励成;余镇危;梁辉;;基于随机进程代数的Overlay网络上的QoS性能评价[A];中国通信学会通信软件技术委员会2009年学术会议论文集[C];2009年

中国博士学位论文全文数据库 前5条

1 赵锡英;随机进程代数的等价性判定计算[D];兰州大学;2007年

2 王立松;基于资源的访问控制理论与应用研究[D];南京航空航天大学;2010年

3 张红;可移动类进程代数及其静态分析技术在系统生物学领域中应用的研究[D];吉林大学;2008年

4 蒋建民;对称与动作细化[D];中国科学院研究生院（成都计算机应用研究所）;2006年

5 钱晔;一种软件演化过程建模、性质验证及性能分析方法[D];云南大学;2014年

中国硕士学位论文全文数据库 前9条

1 武彦平;通信距离受限的进程代数研究[D];南京航空航天大学;2010年

2 张严;一种高阶进程代数的弱互模拟研究[D];南京航空航天大学;2008年

3 曾琼;概率进程代数的度量指称语义[D];中国科学院研究生院（成都计算机应用研究所）;2006年

4 翁晶莹;进程代数互模拟检测算法的研究与实现[D];上海交通大学;2012年

5 于金峰;基于进程代数的信息化建模与仿真[D];哈尔滨工程大学;2009年

6 谷迪康;进程演算的比较语义研究[D];上海交通大学;2009年

7 付兴尊;基于进程代数的多路访问协议模型研究与实现[D];华东师范大学;2010年

8 邓维佳;一种扩展的并发传值进程抽象模型[D];中国科学院研究生院（软件研究所）;2005年

9 徐忠林;并发的广义符号轨迹赋值的研究[D];电子科技大学;2010年

，

本文编号：594263