【webservice安全验证范文】Web服务质量建模及其正确性验证

本文作者：王玉标；饶锡如；成功正常投稿发表论文到《计算机技术与发展》2014年01期,引用请注明来源400期刊网！

【摘要】：针对现有的Web服务质量模型主要考虑的都是通用的服务质量属性,没有考虑特定的Web服务属性在评价中的作用,提出了一个新的Web服务质量模型,它引入了一个特定领域的服务质量属性,该模型包括三个子模型。模型中建立了相关的服务质量树和目标对象树,通过量化指标子模型对目标对象进行量化,形成相应的服务权重树。该模型既可适应用于单个的Web服务请求,也可以用于多个服务组合而成的请求。通过一个应用实例验证了模型的正确性和可用性。
【论文正文预览】：0引言目前的Web服务组合模型主要考虑服务质量的通用属性和服务质量的计算,忽略了Web服务在特定领域相关的服务质量属性评价中的作用[1-2]。以预订飞机票的Web服务为例,乘客通常会选择折扣率较高的卖家来预定Web服务,而网上商店的总体评分是顾客网上购物选择服务的重要参考因
【文章分类号】：TP393.09
【稿件关键词】：Web服务服务质量模型服务组合正确性验证Web本体语言
【参考文献】:

• 贾志淳;陈荣;张维石;;航空订票业务的Web服务建模及组合兼容性验证[J];计算机工程与应用;2010年24期
• 王晶;戎玫;张广泉;祝义;;基于概率模型检测的Web服务组合验证[J];计算机科学;2012年01期
• 代钰;杨雷;张斌;高岩;;支持组合服务选取的QoS模型及优化求解[J];计算机学报;2006年07期
• 范贵生;刘冬梅;陈丽琼;虞慧群;;可靠服务组合的协调策略与分析[J];计算机学报;2008年08期
• 邹金安;;基于QoS的语义Web服务发现研究[J];计算机应用;2009年10期
• 王飞;邹仕洪;陈山枝;王文东;;基于模糊数学的Web服务QoS建模[J];计算机应用研究;2007年04期
• 刘林源;李清;祝义;周航;肖芳雄;黄志球;;Web服务组合中的隐私需求规约与验证[J];解放军理工大学学报(自然科学版);2012年01期
• 李娜;冯百明;武小龙;;动态Web服务合成中的服务选择算法研究[J];计算机工程与设计;2011年02期
• 毛雪;关佶红;;Web服务发现技术研究[J];计算机技术与发展;2011年03期
• 舒振;马建威;罗雪山;;一种基于信誉度的Web服务质量预测方法[J];中南大学学报(自然科学版);2012年05期
• 王勇;代桂平;侯亚荣;方娟;毛国君;;基于遗传算法实现服务组合中信任感知的成员服务选择[J];北京工业大学学报;2010年01期
• 王勇;代桂平;侯亚荣;方娟;毛国君;;基于结构化模型的组合服务选择算法[J];北京工业大学学报;2010年06期
• 王喜凤;李必信;廖力;谢春丽;关秀翠;;基于优化逆问题的Web服务选择[J];东南大学学报(自然科学版);2011年03期
• 刘家良;孙俊丽;姜利群;;一种面向云计算的QoS评价模型[J];电脑知识与技术;2010年31期
• 冯建湘;武雪媛;;基于灰色模糊综合评判的Web服务质量评价模型[J];电子商务;2012年02期
• 王勇;代桂平;姜正涛;侯亚荣;方娟;任兴田;;信任增强的服务组合调度算法[J];电子学报;2009年10期
• 任开军;宋君强;肖侬;张卫民;;基于迭代Bargaining策略优化服务合成执行路径[J];国防科技大学学报;2009年01期
• 孙萍;蒋昌俊;;聚类分析及关联挖掘在Web服务组合中的应用研究[J];高技术通讯;2008年11期
• 王勇;代桂平;姜正涛;侯亚荣;;服务组合中信任感知的成员服务选择算法[J];高技术通讯;2010年08期
• 哈渭涛;陈莉萍;;利用新的模糊免疫分类器的评价模型设计[J];电子设计工程;2011年04期
• 周相兵;;基于Ontology的语义Web服务聚合自动机研究及应用[A];第二十七届中国控制会议论文集[C];2008年
• 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
• 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年
• 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
• 刘莉平;动态Web服务组合关键技术研究[D];中南大学;2011年
• 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年
• 王文彬;移动自组织网络环境下服务组合若干关键技术的研究[D];北京邮电大学;2011年
• 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年
• 陶春华;QoS感知的Web服务发现与组合研究[D];天津大学;2010年
• 邓水光;Web服务自动组合与形式化验证的研究[D];浙江大学;2007年
• 陈香兰;面向服务的分布式操作系统及其上的服务组合关键技术研究[D];中国科学技术大学;2007年
• 高春鸣;服务组合的形式化检验与QoS感知的服务组合方法研究[D];国防科学技术大学;2007年
• 苑庆涛;基于QoS的动态Web服务组合系统的设计与实现[D];西安电子科技大学;2010年
• 侯青;支持QoS约束的Web服务发现与服务组合研究[D];重庆师范大学;2011年
• 邵超杰;基于WEB服务的虚拟人体绘制的研究与改进[D];武汉理工大学;2011年
• 柴雪霞;基于强化学习的Web服务组合优化研究[D];合肥工业大学;2011年
• 韩云;服务质量约束的网格工作流任务调度算法研究[D];新疆大学;2011年
• 江阳;Web服务组合与验证相关技术研究[D];中南大学;2011年
• 张倩;即时任务求解的语义Web服务组合的研究[D];中南大学;2011年
• 刘静;WEB组合服务框架优化模型的研究及其系统实现[D];中南大学;2011年
• 祖爱新;基于模糊QoS多目标决策的Web服务选择与组合技术研究[D];温州大学;2011年
• 常斌;基于Pi-演算的Web服务组合的描述和验证[D];南京邮电大学;2011年
• 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
• 邹金安;;语义Web服务发现研究与实现[J];湖北工业大学学报;2009年01期
• 杨放春;苏森;李祯;;混合QoS模型感知的语义Web服务组合策略[J];中国科学(E辑:信息科学);2008年10期
• 陈丁剑;吴健;马满福;胡正国;;基于Petri网的Web服务组合建模[J];计算机科学;2006年05期
• 闫春钢;蒋昌俊;李启炎;;基于Petri网的Web服务组合与分析[J];计算机科学;2007年02期
• 辜希武;卢正鼎;;基于Pi-演算的BPEL4 WS Web服务组合形式化模型[J];计算机科学;2007年03期
• 傅鹤岗;李竞;;基于属性的Web服务访问控制模型[J];计算机科学;2007年05期
• 何亚丽;戎玫;张广泉;;一种基于UPPAAL的Web服务组合模型检测方法[J];计算机科学;2010年11期
• 罗楠;严隽薇;刘敏;;一种基于有色Petri网的语义Web服务组合验证机制[J];计算机集成制造系统;2007年11期
• 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期
• 邓水光;Web服务自动组合与形式化验证的研究[D];浙江大学;2007年
• 刘青;张世龙;杨锐;连祥鉴;;基于模拟退火算法的QoS约束web服务组合(英文)[J];Journal of Southeast University(English Edition);2008年03期
• 谢储晖;;地理信息服务组合技术研究[J];苏州市职业大学学报;2009年01期
• 王国法;孙晓亭;王昆;;Web服务组合中的服务选择研究[J];计算机与信息技术;2007年06期
• 邓水光;吴朝晖;;Web服务组合方法综述[J];中国科技论文在线;2008年02期
• 曾云峰;周航;黄志球;;BPEL的测试用例生成研究[J];计算机工程与设计;2008年20期
• 魏慧;戎玫;张广泉;;一种基于体系结构的Web服务组合描述方法[J];计算机工程与科学;2008年12期
• 沈记全;郑雪峰;涂序彦;;一种基于蚁群算法的服务组合方法[J];武汉理工大学学报(交通科学与工程版);2009年06期
• 殷荣网;冒志建;;一种有QoS保障的Web服务组合方法[J];电脑知识与技术(学术交流);2007年11期
• 张渊源;王海舜;;基于Web服务组合的医院预检系统应用与分析[J];软件导刊;2007年19期
• 陈世展;冯志勇;;服务网络:Web服务组合的新基点[J];计算机应用研究;2008年05期
• 成睿星;苏森;杨放春;;使用范例推理的服务组合方法研究[A];2006年全国通信软件学术会议论文集[C];2006年
• 张艳梅;;基于Petri网的web服务动态组合方法[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年
• 韩雪;黄双喜;范玉顺;;基于BPEL的工作流引擎研究与开发[A];2008全国制造业信息化标准化论坛论文集[C];2008年
• 周献中;吴奎;萧毅鸿;;基于蚁群算法的Web服务自动组合[A];决策科学与评价——中国系统工程学会决策科学专业委员会第八届学术年会论文集[C];2009年
• 闫志刚;胡海涛;;基于语义的Web服务动态组合框架的研究[A];2010年全国开放式分布与并行计算机学术会议论文集[C];2010年
• 方娟;王志杰;;SOA架构下基于Petri网的Web服务协商模型[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
• 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年
• 杨占胜;;基于Web服务的基本遗传算法实现[A];第三届中国智能计算大会论文集[C];2009年
• 冯细光;刘建勋;;开放Web服务测试平台的设计与实现[A];第18届全国多媒体学术会议（NCMT2009）、第5届全国人机交互学术会议（CHCI2009）、第5届全国普适计算学术会议（PCC2009）论文集[C];2009年
• 尤军;;谈气象Web服务的网络安全问题[A];网络安全技术的开发应用学术会议论文集[C];2002年
• 李佳师 孙爱民;Web服务，在等待中成熟[N];中国电子报;2004年
• 宁肯;Web服务：黎明前的跋涉[N];计算机世界;2005年
• 朴华;SilverStream延伸Web服务[N];中国计算机报;2002年
• IBM软件集团亚太区副总裁Andrew Dutton;Web服务——新一代电子商务的核心[N];计算机世界;2001年
• 中国科学院软件研究所 刘绍华;“坐，请坐，请上坐！”[N];计算机世界;2005年
• 李浩;Web服务的阳光之旅[N];网络世界;2004年
• 本报记者 薛斐;Web服务不神秘！[N];计算机世界;2002年
• 徐昊;Lotus ND6:强化Web服务协作[N];中国计算机报;2002年
• 本报记者 龚杰;Web服务需要管理[N];计算机世界;2004年
• ;Web服务 力助IT[N];中国电子报;2005年
• 杨艳萍;自动Web服务组合关键技术研究[D];国防科学技术大学;2007年
• 张帅;基于服务组合的跨企业协作关键技术研究[D];浙江大学;2011年
• 卢刘明;基于语义的web服务发现与组合关键技术研究[D];东华大学;2006年
• 钟读杭;Web服务组合的可靠性预测研究[D];国防科学技术大学;2007年
• 向峰;云制造系统中基于能耗的服务组合关键技术研究[D];武汉理工大学;2013年
• 董宇翔;服务组合的Petri网建模和服务质量分析的研究[D];重庆大学;2010年
• 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年
• 周宁;Web服务组合中若干问题的研究[D];南京大学;2011年
• 刘波;云制造环境中面向多任务的服务组合与优化技术研究[D];重庆大学;2012年
• 汤景凡;动态Web服务组合的关键技术研究[D];浙江大学;2005年
• 陈智伟;类型理论在Web服务描述和验证方面的应用[D];浙江大学;2006年
• 穆林;基于BPEL的Web服务组合技术研究与实现论[D];河海大学;2006年
• 黄俊;基于语法的Web服务自动组合方法[D];浙江大学;2008年
• 靖红叶;基于Pi演算的Web服务组合的验证[D];太原理工大学;2008年
• 武海峰;基于OWL-S的动态服务组合的改进的研究[D];江南大学;2007年
• 郎大为;基于语义Web服务的服务组合与匹配算法研究[D];大连理工大学;2006年
• 金明;面向物流企业的Web服务组合模型研究[D];东华大学;2010年
• 梁本志;基于SOA架构服务组合的研究与实现[D];西安电子科技大学;2008年
• 杨晓琴;基于TMS的Web服务动态切换研究[D];太原科技大学;2009年
• 王国栋;WebService在商业领域的应用[D];浙江大学;2006年

【稿件标题】：【webservice安全验证范文】Web服务质量建模及其正确性验证
【作者单位】：重庆大学计算机学院;重庆大学虎溪校区网络信息中心;
【发表期刊期数】：《计算机技术与发展》2014年01期
【期刊简介】：《计算机技术与发展》杂志是由中华人民共和国新闻出版总署、正式批准公开发行的优秀期刊，计算机技术与发展杂志具有正规的双刊号，其中国内统一刊号：CN61-1450/TP，国际刊号：ISSN。计算机技术与发展杂志社由陕西省信息产业厅主管、陕西省计算机学会主办，本......更多计算机技术与发展杂志社(http://www.400qikan.com/qk/6081/)投稿信息
【版权所有人】：王玉标；饶锡如；

更多科技类论文详细信息: 【webservice安全验证范文】Web服务质量建模及其正确性验证 论文代写
http://m.400qikan.com/lw-18480 论文代发

相关专题：原子核物理评论 有线电视技术