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

基于Petri网的Web服务组合验证技术

张磊  
【摘要】:随着因特网的快速发展,各种文档信息及应用程序等都可以从网上轻松获取。Web服务就是各种分布在网络上,以网络技术为基础,用于完成某种特定功能的应用程序。Web服务的生命周期一般包括服务发布、服务发现、服务选择、服务组合和服务调用这五个流程,其中服务组合是Web服务技术研究及应用的重点和难点。Web服务组合主要是通过合成技术,将若干个功能单一的Web服务,组合成可以满足服务请求者复杂功能需求的过程。Web服务组合验证是Web服务组合的一个重要组成部分,它在实现Web服务组合、确保组合后Web服务正常执行过程中起着关键作用。Petri网是系统建模和分析的一种有效工具,它对分布式系统和结构中的进程或组成部分之间的各种关系有较强的描述能力。本文采用Petri网作为分析工具,对基于服务行为Model的Web服务组合的有效性进行验证,通过分析组合Web服务可以判断其是否存在死锁以及能否正常结束。 本文首先介绍语义Web服务的基础理论,然后介绍Petri网的相关基础知识,随后给出从语义Web服务中OWL描述的行为Model信息转换为Petri网模型的过程,在此基础上,利用Petri网的性质,实施Web服务的Petri网表示的组合操作,借助Petri网的转移矩阵来对组合Petri网进行组合验证,最后根据验证结果来分析组合Web服务是否存在死锁以及能否正常运行结束。由于在服务组合过程中采用的Web服务行为Model信息更能体现出Web服务组合的细节,如服务输入输出之间的顺序和输入输出的前提条件和执行后的效果等,因此基于Web服务行为Model的Web服务组合验证更具有准确性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李方敏;CGI的安全编程[J];计算机工程与应用;1999年06期
2 宋如顺,姜乃松;基于Web的远程考试系统设计与实现[J];计算机工程;1999年06期
3 王红霞,姚家亮;利用ASP构建新型信息系统的方法与实现[J];计算机应用;1999年09期
4 邓劲生,张银福;面向对象的多媒体信息WEB发布[J];计算机应用研究;1999年09期
5 刁兴春,李赤红;Intranet环境下事务处理的理论研究和实现[J];小型微型计算机系统;1999年06期
6 高昆;基于ASP的WEB站点开发技术分析[J];北华大学学报(社会科学版);1999年05期
7 王清心,胡建华;经贸数据库的WEB集成发布[J];昆明理工大学学报;1999年02期
8 李晶,朱秋萍;Web页制作中的动态表现技术[J];计算机工程;2000年06期
9 刘波,代亚非,杜跃进;远程协同教学系统中课程搜索子系统设计[J];计算机应用;2000年06期
10 武庄,刘友丹;基于Web的企业内部质量审核系统设计与实现[J];计算机应用研究;2000年05期
11 梁开健,刘新民;基于ASP的图书馆Web数据库开发[J];高校图书馆工作;2000年04期
12 张睿光,黄玉超;基于ASP技术的气象信息系统软件设计[J];河南气象;2000年01期
13 张少敏,王保义;基于Web的管理信息系统方案及其安全性[J];华北电力大学学报;2001年01期
14 贺文,顾训穰;基于Web的客户端电子邮件系统的实现[J];计算机工程与应用;2001年08期
15 刘国华,包宏,李文超;基于WEB的人工神经网络材料设计系统[J];计算机工程与应用;2001年20期
16 冯晓君,李也白;构建Internet环境下的CAI课件数据库系统[J];计算机应用;2001年03期
17 陈扬枝,张见威;基于Web的机械设计材料库系统[J];现代制造工程;2001年12期
18 沈祥玖,李作纬,宋义发,尹涛;利用ASP实现对Web数据库的访问[J];济南交通高等专科学校学报;2001年02期
19 张静芳,陶跃军;刍议《中文期刊数据库》Web版全文检索系统[J];图书馆学研究;2001年02期
20 曹向东,邓毅华,李斯伟;一种网络化教学信息管理系统的开发与设计[J];中国数据通信;2001年03期
中国重要会议论文全文数据库 前10条
1 吴亮;袁兆山;;基于模糊Petri网的语义Web服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
2 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
3 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
4 袁兆山;吴亮;;QoS驱动的事务性WEB服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
5 黄胜;彭敦陆;王晓玲;周傲英;;基于与或树搜索的快速Web服务组合方法[A];第二十二届中国数据库学术会议论文集(研究报告篇)[C];2005年
6 李利波;刘明利;;一种改进的无回溯反向Web服务动态组合方法[A];2011年全国通信安全学术会议论文集[C];2011年
7 陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
8 于冰;于守健;丁祥武;乐嘉锦;;基于多层次接口匹配的语义Web服务自动组合研究[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
9 付晓东;邹平;;基于元流程的Web服务组合例外处理模型[A];第二十六届中国控制会议论文集[C];2007年
10 徐明迪;赵恒;张焕国;;面向可靠性的动态Web服务组合选择策略研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 朱俊;基于Petri网的Web服务组合的交互模型及其应用机理的研究[D];国防科学技术大学;2011年
2 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
3 董宇翔;服务组合的Petri网建模和服务质量分析的研究[D];重庆大学;2010年
4 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年
5 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
6 胡佳;语义Web服务自动组合及验证的研究[D];天津大学;2010年
7 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年
8 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
9 张杨;语义Web服务组合的可信性度量研究[D];重庆大学;2011年
10 刘林源;Web服务组合隐私分析与验证研究[D];南京航空航天大学;2011年
中国硕士学位论文全文数据库 前10条
1 张磊;基于Petri网的Web服务组合验证技术[D];吉林大学;2011年
2 周霞;基于面向对象Petri网的Web服务组合研究[D];曲阜师范大学;2011年
3 孙连侠;基于分层着色Petri网的Web服务动态组合建模与验证[D];中国石油大学;2011年
4 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
5 梁彪;基于随机Petri网的Web服务器集群动态负载均衡算法研究[D];暨南大学;2010年
6 赵伟伟;基于冗余的可靠Web服务组合方法研究[D];燕山大学;2010年
7 陈楠;语义Web服务组合相关技术研究[D];中南大学;2010年
8 丁卫东;基于QoS的Web服务组合优化选取问题研究[D];曲阜师范大学;2011年
9 齐美石;基于模糊Petri网的两阶段服务组合研究[D];中国科学技术大学;2011年
10 谭征;一种Web服务组合的自动化模型检测方法[D];桂林电子科技大学;2010年
中国重要报纸全文数据库 前10条
1 赵晓涛;Web安全 服务为王[N];网络世界;2008年
2 本报记者 赵晓涛;Web安全:历史的命题[N];网络世界;2008年
3 彭敏;企业级Web2.0迎来应用高潮[N];电脑商报;2009年
4 本报记者 毛江华;安启华联手赛门铁克 掘金Web安全[N];计算机世界;2009年
5 闫冰;“推”出Web交付新天地[N];网络世界;2009年
6 赵晓涛;中国成全球Web安全新看点[N];网络世界;2009年
7 边歆;动态阻断Web2.0威胁[N];网络世界;2009年
8 泰乐公司首席技术官兼执行副总裁Vikram Saksena;学习Web 3.0 做聪明的“管道工”[N];通信产业报;2009年
9 ;Web2.0工具使用须谨慎[N];网络世界;2009年
10 Anchiva中国区总经理 李松;Web安全选型三个标准[N];网络世界;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978