收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

语义Web服务组合若干关键技术研究

何丰  
【摘要】: Web服务组合作为一种崭新的分布式计算模型,是Web上服务集成的有效机制。随着Web服务成为公认的实现服务的主流技术选择,这使得动态Web服务组合技术成为面向服务的计算的核心技术。目前,许多国内外研究机构围绕动态Web服务组合技术展开研究工作,并取得了一些有价值的探索性成果。然而,Web服务组合还有许多需要进一步研究的问题。根据Web服务组合的生命周期,展开动态Web服务组合关键技术研究,重点在:Web服务和Web服务组合的形式化模型,Web服务自动组合的推理算法,Web服务组合的正确性验证,Web服务组合的异常处理。主要工作与贡献包括如下五个方面: 1.利用标签颜色Petri网(LCPN)方法对OWL-S描述的语义Web服务原子与复合进程的过程模型进行形式化建模。为建立动态的Web服务组合模型提供了有效的逻辑基础。然后,定义了一种基于层次颜色Petri网(HCPN)的Web服务组合模型WSC HCPN。通过自顶向下的服务分解的方法支持层次化Web服务组合描述,并以图形方式表示Web服务间的逻辑依赖,清晰、直观的刻画了Web服务组合。 2.借助基于接口匹配的服务组合思想,将Web服务抽象成由输入和输出组成的实体,分析了各种服务依赖关系,建立了服务发布图;然后,借鉴了人工智能的思想,采用基于模糊推理Petri网的推理方法,通过反向、正向推理算法从服务发布图中提取出Web服务组合模型,实现了自动组合。由于采用了基于矩阵运算的正向、反向推理算法,并且支持并行处理,提高了组合效率,适合于大规模、复杂情况下的Web服务自动组合。 3.提出一个基于Petri网的形式化验证技术对Web服务组合过程进行分析及验证,以保证服务组合的正确性和可靠性。此方法包含结构验证、可靠性验证两个部分。首先,利用转移矩阵(Transitive Matrix)分析方法对组合模型进行了可达性分析并检测是否有死锁。这种方法能有效地检验组合模型的结构正确性。然后,描述了基本Web服务的可靠性属性,将其引入到Web服务组合的模糊推理Petri网模型FRPN中以模拟和验证Web服务组合整体的可靠性。算例结果证实了该方法的有效性。 4.在对Web服务的事务类型、事务状态以及事务依赖进行形式化描述的基础上,提出了一种ECA规则驱动的方法以处理服务组合中的可预测异常,建立了相应的Petri网模型。模型的优点是具有可扩展性以及适应性。然后对于不可预测异常,本文提出了一个层次式的异常恢复算法以保证服务组合的语义原子性。该算法依据层次间的事务依赖和服务的各种不同恢复特性进行层次式的向上规约处理,动态确定补偿终止点。此算法主要目的是有效减小补偿域。 5.开发了一个基于颜色Petri网的Web服务组合原型系统CPN4WSC。上述方法和算法的适用性和有效性在原型系统CPN4WSC中得到了验证。 综上所述,本文对Web服务自动组合问题中的几个关键问题进行了有效的探索与尝试,使用Petri网形式化技术提出了具体的解决方法,对于推进动态服务组合技术的理论研究和实用化具有一定的理论价值与应用价值。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 包得海;赵海阔;;Petri网在旅游管理系统中的应用[J];陇东学院学报;2011年04期
2 董振华;董笑菊;;有界Petri网的进程演算表达[J];上海交通大学学报;2011年07期
3 霍敏霞;丁晓明;;基于Petri网的并发程序测试用例产生方法[J];计算机科学;2011年09期
4 喻平;曹继平;宋建社;梁中雨;;基于Petri网的系统最小割集求解[J];系统仿真技术;2011年02期
5 施於人;代应;;eEPC与Petri网在流程改进建模中的比较[J];重庆理工大学学报(自然科学);2011年07期
6 汪胜荣;郑连清;;一种能量高效的无线传感器网络分簇路由设计[J];大连海事大学学报;2011年03期
7 王英新;毛羽强;;粗糙集在Petri网中的应用[J];承德石油高等专科学校学报;2011年02期
8 邵丽丽;;基于Petri网的电梯系统规格说明[J];长春大学学报;2011年06期
9 林婧;;基于Petri网和概念格的服务发现与组合[J];电子商务;2011年07期
10 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
11 赵楷;应时;张琳琳;胡罗凯;贾向阳;王权于;;基于规则的语义流程异常处理机制[J];计算机科学;2011年07期
12 秦娜;;基于Petri网模型的府际利益均衡分析[J];社科纵横;2011年07期
13 张祥;石广田;;基于聚类优化的支持QOS语义web服务发现框架研究[J];硅谷;2011年17期
14 林惠标;焦志刚;;基于带抑止弧Petri网的PLC梯形图设计方法[J];机电工程技术;2011年04期
15 何剑宇;;基于Petri网统计分析模型在目标监控中的应用[J];辽宁师专学报(自然科学版);2011年02期
16 孙妍姑;;基于Petri网的网格工作流建模与优化[J];淮南师范学院学报;2011年04期
17 赵业清;朱道飞;王华;毕贵红;王建军;;基于Petri网和Agent的复杂适应系统建模[J];计算机工程;2011年15期
18 张昊;;基于工作流技术的高校教务管理系统[J];沈阳师范大学学报(自然科学版);2011年03期
19 王枝楠;王兆青;;基于UML和Petri网的锅炉仿真系统的研究[J];工业控制计算机;2011年08期
20 刘丙杰;刘勇志;黄岳;;基于克隆选择算法的学习型Petri网及在潜在通路分析中的应用[J];航天控制;2011年04期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国博士学位论文全文数据库 前10条
1 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
2 何涛;基于Web服务的网络软件需求元模型的建模与分析[D];上海大学;2009年
3 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
4 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
5 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
6 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
7 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
8 马炳先;语义Web服务自动组合的Petri网方法研究[D];中国科学院研究生院(计算技术研究所);2006年
9 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年
10 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年
中国硕士学位论文全文数据库 前10条
1 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
2 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
3 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
4 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学(北京);2007年
5 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
6 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
7 胡辉;业务流程再造(BPR)理论与系统建模仿真研究[D];西安电子科技大学;2005年
8 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
9 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
10 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
中国重要报纸全文数据库 前3条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 本报记者 沈力钧;决战新媒体竞争时代[N];计算机世界;2004年
3 韩世坤 陈继勇;构建企业跨国并购智力支持体系[N];亚太经济时报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978