一种考虑QoS的Web服务组合Petri网建模方法

发布时间：2019-04-01 12:25

【摘要】：Petri网是一种适合描述Web服务组合的建模方法,但是它无法对Web服务的服务质量(QoS)进行建模和分析。为此,将用户最为关心的服务时间、价格和概率3种QoS因素引入到Petri网模型中进行建模,提出了概率时间价格Petri网PTCPN,给出了PTCPN的语义及分析求解算法,并进行了实例建模和分析。结果表明,PTCPN可以有效支持服务组合功能和QoS的形式化统一建模和分析。
[Abstract]:Petri net is a modeling method suitable for describing the composition of Web services, but it can not model and analyze the quality of service (QoS) of Web services. In this paper, three QoS factors, such as service time, price and probability, are introduced into the Petri net model, and the probabilistic time price Petri net PTCPN, is proposed. The semantic and analytical algorithm of PTCPN is given. At the same time, an example modeling and analysis is carried out. The results show that PTCPN can effectively support the formal unified modeling and analysis of service composition function and QoS.
【作者单位】： 中国科学院计算技术研究所计算机应用研究中心;中国电子设备工程系统工程有限公司研究所;
【基金】：国家高技术研究发展计划(863)(2011AA120302)资助
【分类号】：TP393.09;TP301.1

【参考文献】

相关期刊论文 前5条

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

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

3 肖芳雄;李燕;黄志球;曹子宁;陈哲;范大娟;;基于时间概率代价进程代数的Web服务组合建模和分析[J];计算机学报;2012年05期

4 李金忠;夏洁武;唐卫东;曾劲涛;王翔;吴兰英;;基于QoS的Web服务选择算法综述[J];计算机应用研究;2010年10期

5 肖芳雄;黄志球;曹子宁;屠立忠;祝义;;Web服务组合功能与QoS的形式化统一建模和分析[J];软件学报;2011年11期

【共引文献】

相关期刊论文 前10条

1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期

2 王娜;罗小明;;基于模糊Petri网的推理算法在C~4ISR系统效能评估中的应用[J];兵工自动化;2008年05期

3 宋朝河;戴羽;;基于面向对象Petri网的侦察配系评估模型[J];兵工自动化;2009年04期

4 刘学程;张乾;蔡强;王骏;陈煜;;基于CPN的维修保障资源配置建模与仿真方法[J];兵工自动化;2009年09期

5 黄东坡;曹继平;宋建社;杨檬;;基于Petri网的虚拟维修过程建模[J];兵工自动化;2011年01期

6 徐春香;屈婉玲;王捍贫;朱梅霞;;死路删除语义下的WS-BPEL流程的建模[J];北京大学学报(自然科学版);2010年02期

7 罗杰;段建民;陈建新;;MAS行为协进化Petri网模型构建[J];北京工业大学学报;2008年07期

8 郭峰;姚淑珍;;基于Petri网的UML状态图的形式化模型[J];北京航空航天大学学报;2007年02期

9 马锋;邱菀华;;高空模拟试验应急管理的Petri网建模及应用[J];北京航空航天大学学报;2010年10期

10 杨春辉;杨建军;姚路;;多阶段任务系统通用可靠性仿真模型[J];北京航空航天大学学报;2011年12期

相关会议论文 前10条

1 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年

2 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量，努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集（下册）[C];2008年

3 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集（一）[C];2007年

4 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年

5 王小梅;朱诗兵;王新波;;军事航天信息网络的Petri网建模与分析[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

6 孙明;张申;马亚龙;;一种基于事件逻辑分析的作战仿真可信性评估方法[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年

7 童朝南;李宝峰;;电梯群控系统的Petri网建模与分析[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年

8 丁峰;陆阳;程运安;;汽车车身控制系统的规则化描述和Petri网建模研究[A];第六届全国信息获取与处理学术会议论文集（3）[C];2008年

9 杨鹏;袁占亭;王继曾;;基于广义随机Petri网的SIP的时延分析[A];第三届全国虚拟仪器大会论文集[C];2008年

10 高茜;周大均;李爱民;;Petri网改进的可覆盖性树的构造算法[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

相关博士学位论文 前10条

1 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年

2 梅樱;城轨车辆新型网络控制系统的调度、建模及优化[D];北京交通大学;2011年

3 陈辉;控制网络节点通信协议栈可重构自组织研究[D];华中科技大学;2011年

4 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年

5 李宪华;服务机器人双臂协作技术研究及实现[D];上海大学;2011年

6 韩成果;基于业务流程优化的信息家电分销电子商务研究与应用[D];中国矿业大学（北京）;2011年

7 赵祥模;汽车ABS防抱制动特性及其不解体检测技术研究[D];长安大学;2006年

8 刘昌平;可信计算环境安全技术研究[D];电子科技大学;2011年

9 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年

10 唐小卫;协同决策机制下航空运输系统不正常航班问题研究[D];南京航空航天大学;2009年

相关硕士学位论文 前10条

1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年

2 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年

3 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年

4 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年

5 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年

6 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年

7 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年

8 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年

9 梁永会;面向网格服务的SWAT模型集成体系研究[D];郑州大学;2010年

10 李建民;AUV水下回收预测与协调控制技术研究[D];哈尔滨工程大学;2010年

【二级参考文献】

相关期刊论文 前10条

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

2 孙学胜;曹玖新;刘波;胡波;李和光;;基于多目标粒子群优化的服务选择算法[J];东南大学学报(自然科学版);2009年04期

3 刘婷,林闯,刘卫东;基于时间Petri网的工作流系统模型的线性推理[J];电子学报;2002年02期

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

5 吕建;马晓星;陶先平;徐锋;胡昊;;网构软件的研究与进展[J];中国科学E辑:信息科学;2006年10期

6 杨放春;苏森;李祯;;混合QoS模型感知的语义Web服务组合策略[J];中国科学(E辑:信息科学);2008年10期

7 苏森;李飞;杨放春;;分布式环境中服务组合的迭代选择算法[J];中国科学(E辑:信息科学);2008年10期

8 范小芹;蒋昌俊;方贤文;丁志军;;基于离散微粒群算法的动态Web服务选择[J];计算机研究与发展;2010年01期

9 朱红宁;张斌;;基于SPA的Web服务选取方法[J];计算机科学;2009年11期

10 刘莉平;陈志刚;刘爱心;;基于粒子群算法的Web服务组合研究[J];计算机工程;2008年05期

相关博士学位论文 前1条

1 尹泽明;基于服务组合、支持业务质量感知的电信业务提供若干关键问题研究[D];北京邮电大学;2008年

相关硕士学位论文 前1条

1 张亚;基于QoS服务选择机制的设计与实现[D];国防科学技术大学;2007年

【相似文献】

相关期刊论文 前10条

1 刘君;黄樱;陈敏;;基于Petri网的项目审批建模分析[J];福建电脑;2008年08期

2 何勇，，王红卫，费奇;基于Petri网的建模支持[J];华中理工大学学报;1995年05期

3 郑红;宋国新;;一种形式化的工作流网模型[J];华东理工大学学报(自然科学版);2007年01期

4 冯良炳;古天龙;;Web服务组合中非确定性特征交互的Petri网检测[J];桂林电子科技大学学报;2007年06期

5 汪凯;冯惊雷;张恒喜;;基于Petri网的军用飞机使用维修保障建模[J];装备指挥技术学院学报;2005年06期

6 张晓琴;于洪敏;田建章;;基于Petri网的集团军装备指挥流程建模[J];科学技术与工程;2007年04期

7 田娥;莫易敏;李毅;;办公自动化环境下公文管理的Petri网模型[J];武汉理工大学学报(交通科学与工程版);2007年05期

8 李春杰;肖素梅;朱霄聪;;基于Petri网与Flexsim的生产物流系统建模与仿真[J];机械设计与制造;2007年12期

9 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期

10 宫杰;;基于Petri网的铁路联锁软件测评的道岔仿真建模[J];电脑知识与技术;2008年30期

相关会议论文 前10条

1 李宏光;俞金寿;;DMF溶剂回收开车过程的递阶Petri网描述[A];2003中国控制与决策学术年会论文集[C];2003年

2 臧娈;王景华;韩江洪;吴宗彦;;面向对象Petri网生产调度建模[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

3 胡红革;赵强;黄大贵;;分布式控制系统的混合Petri网建模和分析[A];第二届全国信息获取与处理学术会议论文集[C];2004年

4 王宇;王以直;李敏强;;动态自适应工作流系统的建模研究[A];2000中国控制与决策学术年会论文集[C];2000年

5 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年

6 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年

7 韩东红;王国仁;周锐;公丕臻;王剑;杜钰;;基于控制理论的数据流QoS自适应框架及卸载技术的研究[A];第二十三届中国数据库学术会议论文集（研究报告篇）[C];2006年

8 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年

9 段江娇;薛永生;;数据库中间件的QoS研究及设计[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年

10 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年

相关重要报纸文章 前10条

1 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模（三）[N];国际商报;2002年

2 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模（六）[N];国际商报;2002年

3 ;MatLab为嵌入设计建模[N];中国计算机报;2001年

4 瑞莉编译;BPM在技术和业务间搭起桥梁[N];计算机世界;2004年

5 徐鹏;使用Sketchup的体会[N];中华建筑报;2008年

6 云南 水水;AutoCAD也玩手机建模[N];电脑报;2004年

7 贾振;你是我的小小狗[N];中国电脑教育报;2004年

8 铁道第三勘察设计院 于炀　吴耀良;在虚拟中设计铁路[N];计算机世界;2010年

9 ;软件系统建模出台国家标准[N];计算机世界;2003年

10 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模（四）[N];国际商报;2002年

相关博士学位论文 前10条

1 赵村民;WEBGIS的QoS问题及关键技术研究[D];中国地质大学（北京）;2005年

2 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院（软件研究所）;2003年

3 卢选民;基于TPN的多媒体动态同步模型及同步控制机制研究[D];西北工业大学;2002年

4 叶志宝;支持企业业务过程持续改善的应用系统开发方法[D];中国科学院研究生院（软件研究所）;2002年

5 于万钧;工作流管理技术研究[D];吉林大学;2004年

6 谢楠;基于Petri网的可重组制造系统建模、调度及控制方法研究[D];同济大学;2006年

7 曹春平;基于多Agent的可集成制造执行系统（I-MES）关键技术研究[D];南京航空航天大学;2003年

8 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年

9 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年

10 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年

相关硕士学位论文 前10条

1 王超男;基于扩展Petri网的PPCES建模研究与实现[D];哈尔滨理工大学;2003年

2 欧阳俊;基于Petri网工作流建模的研究与实现[D];湖南大学;2005年

3 张晨光;基于工作流的办公自动化系统设计与开发[D];西安理工大学;2004年

4 周长红;UML图的Petri网建模[D];山东科技大学;2004年

5 郑艳艳;基于Petri网模型的GUI软件测试用例生成研究[D];华中师范大学;2006年

6 祝琳;操作系统对流媒体QoS支持技术研究[D];华东师范大学;2002年

7 张守年;改进的蚁群算法及其在QoS中的应用[D];华南理工大学;2010年

8 李涛;适应的分布资源管理技术的设计与研究[D];西北工业大学;2003年

9 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年

10 梁宇;在Linux环境下对IP层排队算法的性能比较及改进[D];电子科技大学;2005年

本文编号：2451553