基于Petri网的服务可靠性评价方法研究

发布时间：2017-10-22 15:25

  本文关键词：基于Petri网的服务可靠性评价方法研究

  更多相关文章： 服务组合 Petri网 可靠性评估

【摘要】：服务的可靠性研究成为一个研究热点。首先研究基于Petri网的结构关联的服务组合描述语言BPEL;而对于服务交互关联模型,构造服务组合模型的Petri网表示的交互特点;给出服务组合Petri网定义,建立基于服务组合Petri网的模型可靠性评估方法,包含结构关联的可靠性计算方法和交互关联模型可靠性化简和计算方法;最后给出旅游服务系统案例分析,说明了方法的可用性和合理性。
【作者单位】： 北京航空航天大学计算机学院;
【关键词】： 服务组合 Petri网 可靠性评估
【分类号】：TP393.09;TP301.1
【正文快照】： 1引言通过协调组织多个Web服务之间的交互,服务组合提供了更为强大的服务功能来满足复杂的用户需求,服务组合的研究工作已经取得了重要进展[1-3]。服务组合是指为满足特定复杂要求,多个服务之间通过一定关联组合在一起。关联方式一般包括两类:结构关联和交互关联。参与服务组

【参考文献】

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

1 张广胜;蒋昌俊;丁志军;;基于模糊Petri网的服务发现框架研究[J];计算机研究与发展;2006年11期

2 门鹏;段振华;;着色Petri网模型检测工具的扩展及其在Web服务组合中的应用[J];计算机研究与发展;2009年08期

3 朱俊;郭长国;吴泉源;;一种基于CPN的运行时监控服务交互行为的方法[J];计算机研究与发展;2011年12期

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

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

6 杨璐;柳溪;王林章;陈鑫;李宣东;;面向基于场景规约的Web服务消息流分析与验证[J];计算机学报;2009年09期

7 邓婷;怀进鹏;沃天宇;;正确性保证的组合服务综合问题复杂度研究[J];中国科学:信息科学;2012年07期

【共引文献】

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

1 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期

2 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期

3 康辉;苑森淼;浦洁;刘勇;;基于Pi演算的Web服务建模与WSDL转换[J];北京工业大学学报;2008年11期

4 周宇;张鹏程;李必信;;一种Web服务组合的数学模型[J];东南大学学报(自然科学版);2007年04期

5 徐光平;张桦;王法玉;薛彦兵;;基于BPEL描述的移动工作流的协同机制与实现[J];东南大学学报(自然科学版);2010年S2期

6 代钰;杨雷;张斌;;面向业务领域基于智能规划的web服务组合(英文)[J];Journal of Southeast University(English Edition);2007年03期

7 程杰;程燕;;Web服务复合技术在SOA系统中的研究与应用[J];电脑知识与技术;2006年26期

8 苑庆涛;陈彦萍;;Web服务组合方法研究综述[J];电脑知识与技术;2010年07期

9 魏慧;;基于XYZ/ADL的BPEL4WS Web服务组合描述方法[J];电脑知识与技术;2010年29期

10 刘绍华;马铁军;景兴建;;云端的服务协作动态构造技术研究综述[J];电信科学;2010年S1期

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

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

2 张功源;李必信;邱栋;吉顺慧;;一种基于并发的BPEL控制流模型的分析及验证[A];第六届中国测试学术会议论文集[C];2010年

3 王娟;;基于着色Petri网的工作流异常处理模型[A];山东计算机学会2013学术年会论文集[C];2013年

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

1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年

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

3 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年

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

5 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年

6 曾鸣;基于SOA的森林资源空间信息分级服务研究[D];中国林业科学研究院;2011年

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

8 彭淑芬;基于信任的网络交互模式建立的模型和方法的研究[D];北京工业大学;2011年

9 肖芳雄;面向QoS的Web服务组合建模和验证研究[D];南京航空航天大学;2010年

10 朱俊;基于Petri网的Web服务组合的交互模型及其应用机理的研究[D];国防科学技术大学;2011年

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

1 马文涛;基于Web Services的工作流系统新模型的研究与实现[D];辽宁工程技术大学;2010年

2 康件丽;网格服务质量评价与服务组合的研究[D];河南理工大学;2010年

3 张大奎;基于Agent的网格服务组合研究[D];河南理工大学;2010年

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

5 郑姜;基于WS-CDL的贸易协同流程建模工具的研究与实现[D];华东理工大学;2011年

6 杨彦博;基于流演算的上下文感知Web服务组合研究[D];浙江大学;2011年

7 宋仲凯;大粒度服务组合验证工具的设计与实现[D];浙江大学;2011年

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

9 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年

10 王轶;基于颜色Petri网的BPEL自动生成方法[D];北方工业大学;2011年

【二级参考文献】

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

1 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期

2 门鹏;段振华;;着色Petri网模型检测工具的扩展及其在Web服务组合中的应用[J];计算机研究与发展;2009年08期

3 王晓玲,郭志懋,周傲英;Web服务组合的基于文法的消息处理[J];计算机学报;2005年04期

4 胡建强,邹鹏,王怀民,周斌;Web服务描述语言QWSDL和服务匹配模型研究[J];计算机学报;2005年04期

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

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

7 蒋屹新,林闯,曲扬,尹浩;基于Petri网的模型检测研究[J];软件学报;2004年09期

8 雷丽晖;段振华;;一种基于扩展有限自动机验证组合Web服务的方法[J];软件学报;2007年12期

9 王杰生;李舟军;李梦君;;用描述逻辑进行语义Web服务组合[J];软件学报;2008年04期

【相似文献】

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

1 吉春山;刘晓燕;吕苏环;;Web服务语言BPEL到接口自动机的转换[J];山东理工大学学报(自然科学版);2008年02期

2 刘冰;饶若楠;;一种普适环境下面向服务的事务处理模型[J];计算机应用与软件;2010年05期

3 唐磊;淮晓永;李明树;;一种基于上下文协商的动态服务组合方法[J];计算机研究与发展;2008年11期

4 曾云峰;周航;黄志球;;BPEL的测试用例生成研究[J];计算机工程与设计;2008年20期

5 李杜;陈松乔;;基于语义的动态服务组织模型[J];计算机技术与发展;2008年11期

6 魏慧;戎玫;张广泉;;一种基于体系结构的Web服务组合描述方法[J];计算机工程与科学;2008年12期

7 王强;王家耀;郭建忠;;基于Agent的空间信息服务组合研究[J];测绘科学技术学报;2009年01期

8 吕庆聪;干露;曹奇英;;普适计算服务组合技术综述[J];计算机应用研究;2009年02期

9 欧毓毅;王浩;凌捷;郭荷清;;一种适应电子政务的自主性服务结构[J];微电子学与计算机;2009年01期

10 王一飞;吴素芹;王榕;;基于工作流的Web服务组合系统的设计与实现[J];信息化纵横;2009年05期

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

1 韩雪;黄双喜;范玉顺;;基于BPEL的工作流引擎研究与开发[A];2008全国制造业信息化标准化论坛论文集[C];2008年

2 赵芸;司华友;莫路锋;;基于用例本体建模的服务自动组合方法研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

3 陈裕;林辉;;基于SOA的ERP系统架构模型研究[A];信息经济学与电子商务：第十三届中国信息经济学会学术年会论文集[C];2008年

4 徐其兴;余镇危;;一种基于移动Agent的服务组合模型[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

5 司华友;赵芸;莫路锋;;基于领域行为本体建模的服务自动组合研究[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年

6 冯细光;刘建勋;;开放Web服务测试平台的设计与实现[A];第18届全国多媒体学术会议（NCMT2009）、第5届全国人机交互学术会议（CHCI2009）、第5届全国普适计算学术会议（PCC2009）论文集[C];2009年

7 汪小林;庞潇;王海波;罗英伟;;基于SOA的GIS应用设计与实现[A];2009`中国地理信息产业论坛暨第二届教育论坛就业洽谈会论文集[C];2009年

8 张辉;宋晓;张霖;;面向数字化设计的产品共享信息语义模型研究[A];全国先进制造技术高层论坛暨第八届制造业自动化与信息化技术研讨会论文集[C];2009年

9 刘水平;韩伟红;刘家红;尹刚;;基于SOA的应用集成框架研究[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年

10 孙振中;;构建开放式OA平台[A];中国新闻技术工作者联合会五届一次理事会暨学术年会论文集（上篇）[C];2009年

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

1 郭涛;咨询与管理一气呵成[N];中国计算机报;2006年

2 CRM资深专家 叶开;本土超市的CRM大多是伪CRM[N];中国计算机报;2007年

3 沈建苗 编译;利用现有服务构建SOA应用[N];计算机世界;2006年

4 赵晓涛;安全导向中的SOA[N];网络世界;2007年

5 韩燕波 熊锦华 张程 喻坚 李务斌;走近VINCA服务网格[N];计算机世界;2006年

6 于翔;SOA实施如何又好又快？[N];网络世界;2007年

7 艾司科;艾司科加大校园软件人才培训力度[N];中国包装报;2009年

8 记者 涂亚卓邋通讯员 李宏 魏妍芬 陈宇飞;EDS在汉设全球服务中心[N];湖北日报;2007年

9 ;精简渠道 协同业务[N];电脑商报;2010年

10 ;大唐软件构建完美支撑系统[N];人民邮电;2007年

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

1 刘波;云制造环境中面向多任务的服务组合与优化技术研究[D];重庆大学;2012年

2 高明;知识协同工作流建模、服务规划和服务组合研究[D];东北财经大学;2013年

3 刘士军;制造网格架构与制造资源协同管理技术研究[D];山东大学;2006年

4 龚小勇;基于QoS的Web服务发现与组合方法研究[D];重庆大学;2008年

5 尚宗敏;智能流程异常处理的若干关键技术研究[D];山东大学;2009年

6 李科;网格环境下地理信息服务关键技术研究[D];解放军信息工程大学;2008年

7 戚玉松;面向服务的电子政务系统研究[D];南京理工大学;2007年

8 钟读杭;Web服务组合的可靠性预测研究[D];国防科学技术大学;2007年

9 廖军;面向服务的计算（SOC）中服务组合的研究[D];电子科技大学;2006年

10 王方雄;基于原子服务的网格空间信息服务互操作研究[D];武汉大学;2005年

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

1 刘许伟;基于动态工作流的自适应Web服务组合[D];河北大学;2011年

2 周迎凤;基于BPEL的动态服务组合研究[D];浙江大学;2006年

3 郭飞;SOA中服务组合与自动构建技术研究[D];重庆大学;2008年

4 汪洪;基于Petri网的Web服务业务流程验证研究及工具实现[D];合肥工业大学;2007年

5 张磊;基于Petri网的Web服务组合验证技术[D];吉林大学;2011年

6 饶锡如;基于工作流的服务组合在电子政务系统中的研究及应用[D];重庆大学;2009年

7 梁本志;基于SOA架构服务组合的研究与实现[D];西安电子科技大学;2008年

8 李瑞;基于语义Web服务的企业应用集成研究[D];合肥工业大学;2009年

9 左敏;企业应用集成中的工作流管理系统研究[D];重庆大学;2009年

10 王晴;基于上下文感知的移动向导业务的设计和实现[D];北京邮电大学;2009年

，

本文编号：1078968