收藏本站
《南京航空航天大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究

周航  
【摘要】: Web组合服务作为一种新的分布式计算模式,为软件开发提供了灵活的设计和开发模式。目前,Web组合服务的研究己经引起了国内外学者的广泛关注。Web组合服务的质量和Web组合服务验证都是Web服务组合的重要研究内容。然而,目前研究提出的功能验证分析模型与质量分析模型是相互独立的,导致其中单一的模型都无法满足功能和质量两方面的分析验证需求,而重复建模势必导致分析时间及成本大大增加。因此,现在亟需研究和设计一种能够反映Web组合服务质量并支持Web组合服务分析验证的形式化模型。 本文主要围绕Web组合服务的建模和验证分析问题展开研究,从研究Web服务动态质量模型开始,重点研究了Petri网的质量属性扩展。在此基础上分别研究了基于QCPN网的Web组合服务的建模和质量分析、基于时间约束的Web组合服务的冲突和冲撞的检测和消解问题, 本文的主要内容有: (1)建立了支持动态属性描述的Web服务质量模型。本文在现有Web服务及组合服务定义的基础上根据对Web服务质量的需求,定义Web服务及组合服务的概念;分析了当前服务质量模型研究中存在的不足。在现有Web服务质量模型研究的基础上,从准确性和实用性出发,提出了扩展动态属性的Web服务质量模型。该模型可以对服务中动态的时间和代价属性进行描述,从而可以支持动态质量属性的Web组合服务的描述和建模。 (2)研究了扩展质量属性的Petri网。本文对扩展时间、代价的Petri网的研究现状进行了分析,分析了现有Petri网在Web组合服务质量分析方面的不足。本文在Petri网相关研究工作的基础上,提出了质量有色Petri网(QCPN,Quality Coloured Petri Net);定义了质量有色Petri网的语法和语义,证明了时间Petri网是质量有色Petri网的子类;提出了扩展累积代价的状态类分析方法并证明了累积代价状态类的合理性和完备性。 (3)提出了基于QCPN网的组合服务建模和质量分析方法。本文给出了基于QCPN网对Web服务以及具有多态性的Web服务进行建模的方法;给出了Web组合服务相应控制结构的QCPN网建模方法和服务质量的计算公式,以及基于Agent的组合服务的QCPN网建模方法。最后,通过一个实例说明使用QCPN网对Web组合服务建模和质量分析的可行性。 (4)给出了Web组合服务的冲突检测方法。由于在Petri网模型中引入了时间属性,导致变迁触发规则的改变。为了便于该方法在广泛使用的TPN网中应用,本文主要以TPN网为例。本文提出了在时间约束下Petri网的冲突检测方法。本文根据TPN网变迁的时间约束,给出了变迁持续使能时先触发相对区间的计算方法,并证明了该方法的合理性和完备性;分析并证明了TPN网模型中冲突的检测方法;给出了冲突时间区间和变迁触发概率的计算方法;最后通过实例验证,说明了该方法的有效性和正确性。同时该方法也适用于QCPN网的冲突检测。 (5)给出了Web组合服务的冲撞检测和消解方法。由于组合服务的存储等容量是有限的,这会导致组合服务中的操作为争夺相应的空间容量而发生冲撞。本文提出并证明了TPN网中冲撞的检测方法,并给出了冲撞时间区间的计算公式;通过实例指出了现有得通过添加互补库所消解冲撞方法的不足,提出并证明了修改变迁约束时间区间的消解冲撞方法;最后,通过应用实例说明了该方法的有效性和正确性。同时该方法也适用于QCPN网的冲撞检测和消解。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 宋如顺,姜乃松;基于Web的远程考试系统设计与实现[J];计算机工程;1999年06期
2 王红霞,姚家亮;利用ASP构建新型信息系统的方法与实现[J];计算机应用;1999年09期
3 邓劲生,张银福;面向对象的多媒体信息WEB发布[J];计算机应用研究;1999年09期
4 刁兴春,李赤红;Intranet环境下事务处理的理论研究和实现[J];小型微型计算机系统;1999年06期
5 高昆;基于ASP的WEB站点开发技术分析[J];北华大学学报(社会科学版);1999年05期
6 王清心,胡建华;经贸数据库的WEB集成发布[J];昆明理工大学学报;1999年02期
7 李晶,朱秋萍;Web页制作中的动态表现技术[J];计算机工程;2000年06期
8 刘波,代亚非,杜跃进;远程协同教学系统中课程搜索子系统设计[J];计算机应用;2000年06期
9 武庄,刘友丹;基于Web的企业内部质量审核系统设计与实现[J];计算机应用研究;2000年05期
10 梁开健,刘新民;基于ASP的图书馆Web数据库开发[J];高校图书馆工作;2000年04期
11 张睿光,黄玉超;基于ASP技术的气象信息系统软件设计[J];河南气象;2000年01期
12 张少敏,王保义;基于Web的管理信息系统方案及其安全性[J];华北电力大学学报;2001年01期
13 贺文,顾训穰;基于Web的客户端电子邮件系统的实现[J];计算机工程与应用;2001年08期
14 刘国华,包宏,李文超;基于WEB的人工神经网络材料设计系统[J];计算机工程与应用;2001年20期
15 冯晓君,李也白;构建Internet环境下的CAI课件数据库系统[J];计算机应用;2001年03期
16 陈扬枝,张见威;基于Web的机械设计材料库系统[J];现代制造工程;2001年12期
17 沈祥玖,李作纬,宋义发,尹涛;利用ASP实现对Web数据库的访问[J];济南交通高等专科学校学报;2001年02期
18 张静芳,陶跃军;刍议《中文期刊数据库》Web版全文检索系统[J];图书馆学研究;2001年02期
19 曹向东,邓毅华,李斯伟;一种网络化教学信息管理系统的开发与设计[J];中国数据通信;2001年03期
20 张国珍,李晓明;优化网络应用性能的电量采集与分析系统设计[J];高电压技术;2002年12期
中国重要会议论文全文数据库 前10条
1 吴亮;袁兆山;;基于模糊Petri网的语义Web服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
2 李利波;刘明利;;一种改进的无回溯反向Web服务动态组合方法[A];2011年全国通信安全学术会议论文集[C];2011年
3 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
4 石晶;龚震宇;裘杭萍;;基于Web挖掘的个性化服务技术[A];第十九届全国数据库学术会议论文集(技术报告篇)[C];2002年
5 游争光;刘建勋;唐明董;;分布式Web服务测试系统的设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
6 殷华蓓;李通;唐常杰;张天庆;左志松;;从Web文件中挖掘个性化导航知识[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
7 ;基于广义对话的Web用户的聚类(英文)[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
8 邓长寿;郭景峰;杨焱林;邓安远;;下一代Web搜索引擎初探[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
9 ;WTCA:A Web Text Clustering Algorithm Based on DFSSM[A];第二十七届中国控制会议论文集[C];2008年
10 胡建强;周斌;尹刚;邹鹏;;基于角色的Web服务访问控制技术研究[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
中国重要报纸全文数据库 前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年
中国博士学位论文全文数据库 前10条
1 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年
2 鲍爱华;语义Web环境下组合服务演化方法及其关键技术研究[D];国防科学技术大学;2009年
3 朱俊;基于Petri网的Web服务组合的交互模型及其应用机理的研究[D];国防科学技术大学;2011年
4 翟正利;基于Petri网和Agent的网格服务工作流及资源管理的研究[D];北京科技大学;2006年
5 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
6 胡佳;语义Web服务自动组合及验证的研究[D];天津大学;2010年
7 刘铁江;组合Web服务选择、部署与执行的关键技术研究[D];复旦大学;2011年
8 毛一梅;基于服务质量的Web服务关键技术研究[D];东华大学;2009年
9 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
10 宋雅娟;Web服务组合方法研究[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 孙连侠;基于分层着色Petri网的Web服务动态组合建模与验证[D];中国石油大学;2011年
2 张磊;基于Petri网的Web服务组合验证技术[D];吉林大学;2011年
3 梁彪;基于随机Petri网的Web服务器集群动态负载均衡算法研究[D];暨南大学;2010年
4 周霞;基于面向对象Petri网的Web服务组合研究[D];曲阜师范大学;2011年
5 张金朋;基于Petri网的动态Web服务组合分析与验证[D];安徽理工大学;2011年
6 刘晓冬;基于Petri-net的BPEL建模方法研究[D];云南大学;2010年
7 王轶;基于颜色Petri网的BPEL自动生成方法[D];北方工业大学;2011年
8 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
9 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
10 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978