基于概率时间自动机Web服务质量的形式化建模分析

发布时间：2017-09-12 08:52

  本文关键词：基于概率时间自动机Web服务质量的形式化建模分析

  更多相关文章： Web服务组合 概率时间自动机 定量建模分析 Web服务质量

【摘要】：针对拓展的Web服务体系结构,利用概率时间自动机(probabilistic timed automata,PTA)对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对Web服务组合的整体服务质量(quality of service,QoS)进行定量分析,从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性,在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性,具有较高的可信度.通过实验说明了建模分析方法的可行性,并证明了采取相应的服务选择策略有助于提高Web服务组合的成功率.
【作者单位】： 吉林大学计算机科学与技术学院;
【关键词】： Web服务组合 概率时间自动机 定量建模分析 Web服务质量
【基金】：国家自然科学基金(批准号:60973041) 国家高技术研究发展计划863项目基金(批准号:2009AA010314) 吉林省科技发展计划项目(批准号:20115007)
【分类号】：TP393.09
【正文快照】： 随着电子商务的迅速发展,Web服务作为一种新兴的Web应用模式,受到IT行业的广泛关注.Web服务是一个崭新的分布式计算模型[1],具有开放的协议标准和良好的模块化特性,允许服务提供者采用不同语言在不同平台上开发松耦合的Web服务,并通过服务组合支持面向服务应用的集成和开发[2]

【参考文献】

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

1 张君华;黄志球;曹子宁;;模型检测基于概率时间自动机的反例产生研究[J];计算机研究与发展;2008年10期

2 肖芳雄;黄志球;曹子宁;袁敏;张君华;;基于价格进程代数的Web服务组合描述和成本分析[J];计算机研究与发展;2009年05期

3 骆翔宇;轩爱成;沙宗鲁;;基于时间自动机的Web服务模型检测[J];计算机科学;2010年08期

4 岳昆,王晓玲,周傲英;Web服务核心支撑技术:研究综述[J];软件学报;2004年03期

5 郭得科;任彦;陈洪辉;薛群威;罗雪山;;一种QoS有保障的Web服务分布式发现模型[J];软件学报;2006年11期

6 范小芹;蒋昌俊;王俊丽;庞善臣;;随机QoS感知的可靠Web服务组合[J];软件学报;2009年03期

7 邵凌霜;周立;赵俊峰;谢冰;梅宏;;一种Web Service的服务质量预测方法[J];软件学报;2009年08期

【共引文献】

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

1 高志升,刘兴伟;基于语义P2P的Web服务模型[J];阿坝师范高等专科学校学报;2005年03期

2 王红艳;朱全银;丁甜甜;;通信终端与农村科技服务平台的Web服务数据同步设计[J];安徽农业科学;2012年01期

3 方芳;叶春明;;基于Qos的语义Web服务发现研究[J];安庆师范学院学报(自然科学版);2010年02期

4 侯贵法;罗颖;;基于SOA的数字气田应用集成[J];安阳工学院学报;2007年04期

5 曹利培;杨庆祥;李冰川;;一种考虑QoS的网格服务匹配模型[J];安阳工学院学报;2009年02期

6 刘实;刘书雷;熊伟;钟志农;;基于工作流的服务动态聚合平台[J];兵工自动化;2007年10期

7 舒振;马建威;罗雪山;;军事信息服务的QoS模型及其监控机制[J];兵工自动化;2010年05期

8 张万方;朱全银;王红艳;丁甜甜;;通信终端与Web服务程序数据同步设计[J];北京联合大学学报(自然科学版);2011年02期

9 夏虹;李增智;;粒子群算法求解Web服务组合中基于QoS的服务选择[J];北京邮电大学学报;2009年04期

10 张龙昌;张成文;;混合QoS聚类的服务组合[J];北京邮电大学学报;2011年05期

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

1 江琦;奚宏生;殷保群;;网络新媒体服务系统事件驱动的动态服务组合[A];第二十九届中国控制会议论文集[C];2010年

2 陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

3 党德鹏;徐俏;徐娟;;基于替代的Web服务事务提交协议及其性能分析[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

4 李飞;张斌;葛亮;孙若男;;面向组合服务自适应执行的环境感知引擎[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

5 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年

6 李宏伟;李勤超;蔡畅;;基于OWL-S的地理信息服务语义描述研究[A];中国地理信息系统协会第四次会员代表大会暨第十一届年会论文集[C];2007年

7 薛海丽;樊永生;韩燮;;下一代网络结构和关键技术分析[A];AECC专题学术研讨会论文集[C];2007年

8 张艳梅;;基于Overlay网络的服务组合研究综述[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（上）[C];2006年

9 董燕;;中央监测资源集成平台的软件架构设计思路[A];中国新闻技术工作者联合会2008年学术年会论文集（下）[C];2008年

10 吴家菊;刘刚;席传裕;;Web服务数据的二次处理[A];第二届全国信息与电子工程学术交流会暨第十三届四川省电子学会曙光分会学术年会论文集[C];2006年

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

1 朱里越;多业务协同系统服务组合技术研究[D];中国科学技术大学;2010年

2 高瞻;网格任务调度中服务质量保证相关问题研究[D];北京交通大学;2010年

3 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年

4 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年

5 王强;空间信息服务聚合的关键技术研究[D];解放军信息工程大学;2010年

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

7 吴斌;企业服务总线中动态服务路由技术的研究[D];山东大学;2010年

8 曹虹华;语义编程语言SPROGLE及其实现机制研究[D];武汉大学;2009年

9 赵振南;联合作战信息系统体系结构若干关键技术研究[D];南京理工大学;2010年

10 刘莉平;动态Web服务组合关键技术研究[D];中南大学;2011年

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

1 吕媛媛;基于本体的物流信息集成系统的研究[D];山东科技大学;2010年

2 徐加帅;一种支持QoS的Web服务扩展机制的研究[D];山东科技大学;2010年

3 聂剑锋;基于QoS的Web服务选择研究[D];浙江理工大学;2010年

4 宋超臣;基于推荐网络的服务搜索技术研究[D];哈尔滨工程大学;2010年

5 戴步成;基于ArcGIS Server的电子地图研究及应用[D];大连理工大学;2010年

6 华建新;基于语义的Web服务发现及算法研究[D];长沙理工大学;2010年

7 周凌;基于web的网络实验教学管理系统的设计与实现[D];合肥工业大学;2010年

8 马百皓;基于Web Service的校园电子商务平台研究与开发[D];华东师范大学;2010年

9 梁毅;基于Web Service的公交智能查询系统[D];天津理工大学;2010年

10 周绪倩;基于电子商务的Web数据挖掘系统架构研究[D];河北工程大学;2010年

【二级参考文献】

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

1 刘卫东,宋佳兴,林闯;基于价格时间Petri网的网格计算应用模型及分析[J];电子学报;2005年08期

2 周倜;李梦君;李舟军;陈火旺;;基于Horn逻辑扩展模型的安全协议反例的自动构造[J];计算机研究与发展;2007年09期

3 杨胜文,史美林;一种支持QoS约束的Web服务发现模型[J];计算机学报;2005年04期

4 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期

5 张成文;苏森;陈俊亮;;基于遗传算法的QoS感知的Web服务选择[J];计算机学报;2006年07期

6 曾春,邢春晓,周立柱;个性化服务技术综述[J];软件学报;2002年10期

7 岳昆,王晓玲,周傲英;Web服务核心支撑技术:研究综述[J];软件学报;2004年03期

8 胡春明,怀进鹏,孙海龙;基于Web服务的网格体系结构及其支撑环境研究[J];软件学报;2004年07期

9 刘显明;李师贤;李文军;潘理;;一种扩展了价格信息的时间Petri网[J];软件学报;2007年01期

10 刘树林,邱菀华;多属性决策基础理论研究[J];系统工程理论与实践;1998年01期

【相似文献】

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

1 叶碧云,刘青;基于Web技术的设备管理信息系统[J];洪都科技;2003年02期

2 何志勇 ,何绍荣;基于WEB的学生成绩管理系统[J];自贡师范高等专科学校学报;2003年04期

3 刘庆红;基于Web的综合教务管理信息系统的分析与设计[J];吉林省经济管理干部学院学报;2004年01期

4 贾志娟,胡明生;基于Web的答疑系统设计与实现[J];河南纺织高等专科学校学报;2004年03期

5 王斌,刘浙;基于Web的电力调度自动化系统的实现[J];计算机与现代化;2004年11期

6 尹健康,宋红文,朱伏平,杜祥兵;基于Web的设备管理信息系统设计与研究[J];西南科技大学学报(自然科学版);2004年03期

7 盛志伟,刘仕筠,刘双虎;基于Web的网络考试系统的设计与实现[J];计算机与现代化;2005年07期

8 耿道武;Web服务提供银行中间业务新形式[J];华南金融电脑;2005年08期

9 石建玲,印建平,葛敬霞,李红彦;基于Web设备管理信息系统中设备分类编码规则的研究[J];现代制造工程;2005年09期

10 尤超常;浅谈WEB数据挖掘[J];中国科技信息;2005年04期

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

1 黄海林;孙向阳;;基于Web的大学物理试题管理系统的设计[A];湖北省物理学会、武汉物理学会成立70周年庆典暨2002年学术年会论文集[C];2002年

2 于莉莉;张毅;;基于Web的人力资源管理系统研究与设计[A];2008全国制造业信息化标准化论坛论文集[C];2008年

3 李中华;;企业Web应用安全威胁与防护[A];创新·融合·发展——创新型煤炭企业发展与信息化高峰论坛论文集[C];2010年

4 刘兵;何新林;张伟;吴东峰;何小莲;;基于Web的奎屯河流域水库调度自动化系统研究[A];第三届全国水力学与水利信息学大会论文集[C];2007年

5 刘颖;;基于Web的学生信息管理系统的设计与实现[A];2008年计算机应用技术交流会论文集[C];2008年

6 张玉艳;黄国栋;冯文堂;侯金奎;;一种模型驱动的WEB报表系统开发方法[A];第二十七届中国控制会议论文集[C];2008年

7 李毅;顾健;顾铁军;;系统等级保护中的Web应用安全评估[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年

8 叶良;刘富强;邓戈;赵忠;;基于WEB的数字视频监控系统开发[A];第十二届全国煤矿自动化学术年会论文专辑[C];2002年

9 刘岩;阎钦运;张刚;;基于WEB的企业人力资源管理系统的研究与实现[A];第十七届全国煤矿自动化学术年会、中国煤炭学会自动化专业委员会学术会议论文集[C];2007年

10 粟智;;基于Web技术下的分析实验室计算机网络管理系统的开发与设计[A];2003年药物分析论坛“热分析在药物分析中的应用”专题学术研讨会论文集[C];2003年

中国重要报纸全文数据库 前10条

1 本报记者 刘继安;准备好了吗？WEB教师[N];中国教育报;2001年

2 张承东;Web智能考核广告[N];网络世界;2009年

3 科讯;WEB教师——一个全新职业的透析[N];科技日报;2001年

4 王雅丽;博客社区齐上阵 银行借Web 2.0拉拢未来客户[N];中国计算机报;2008年

5 本报记者 黄智军;Web应用呼唤新型安全系统[N];计算机世界;2009年

6 居易;WEB教师热门起来[N];组织人事报;2001年

7 本报记者 赵晓涛;四问“Web防御与云安全”[N];网络世界;2008年

8 本报记者 徐恒;手机浏览器：竞争不断加剧 Web大势所趋[N];中国电子报;2009年

9 李晨;Web应用安全应贯穿生命周期[N];人民邮电;2009年

10 电脑商报记者 张戈;Web应用安全正当时[N];电脑商报;2010年

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

1 孙慧峰;基于协同过滤的个性化Web推荐[D];北京邮电大学;2012年

2 何儒汉;Web图像的多模融合检索研究[D];华中科技大学;2007年

3 张建武;面向Web应用的安全评测技术研究[D];北京邮电大学;2012年

4 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年

5 孙涛;面向市场情报分析的Web实体事件融合问题研究[D];山东大学;2014年

6 谢琪;基于协同过滤与QoS的个性化Web服务推荐研究[D];重庆大学;2012年

7 刘方方;Web服务合成与可用性的若干关键技术研究[D];复旦大学;2007年

8 刘晓光;网络化制造中Web服务自动组合的若干关键技术研究[D];上海交通大学;2008年

9 李杰;基于服务质量的Web服务模型及应用研究[D];中国科学院研究生院（计算技术研究所）;2005年

10 许洪波;大规模信息过滤技术研究及其在Web问答系统中的应用[D];中国科学院研究生院（计算技术研究所）;2003年

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

1 曾确令;基于WEB挖掘的消费者细分及推荐应用研究[D];吉林大学;2009年

2 袁桂兰;WEB分布式数据库系统的研究与实现[D];中国人民解放军信息工程大学;2002年

3 李超俊;基于Web的客户信息管理系统的开发[D];吉林大学;2011年

4 焦威;面向Web应用的构件组装系统研究与实现[D];西安理工大学;2009年

5 李吉平;基于Web技术的森林资源信息管理系统研建[D];西北农林科技大学;2009年

6 白洁婷;基于Web的在线虚拟实验室的研究[D];华中科技大学;2009年

7 吴卉;基于Web的机械零件库浏览系统的研发[D];南京航空航天大学;2010年

8 田振强;基于Web的小麦信息管理系统的构建[D];河南农业大学;2010年

9 张平;基于Web技术的压铸模具协同设计原理与应用系统研究[D];四川大学;2005年

10 谢春丽;基于数据挖掘的Web行为特征分析与研究[D];苏州大学;2003年

，

本文编号：836258