收藏本站
《北京科技大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网和Agent的网格服务工作流及资源管理的研究

翟正利  
【摘要】:网格服务工作流的研究已成为网格领域的一个研究热点,现在网格服务工作流没有完整的系统框架,不能准确分析工作流的安全性和灵活性,不能为网格服务工作流的设计和检查做出有效判断。在广域分布的网格环境中,存在大量的、各种类型的网格服务,对于某个网格应用,如何找到能满足其需求的网格服务资源(即服务发现)就成为一个重要研究课题。另外,单一的网格服务往往不能够独立完成网格的应用,因此有必要研究网格服务间的组合方式和协作机制。 针对上述问题,本文基于Petri网、Agents、 Web Services等理论与技术,重点研究了网格服务工作流模型、网格服务发现及网格服务组合等问题,主要研究成果如下: 1)在时间Petri网的模拟能力方面,首次证明了时间Petri网与计算科学的最高模型——图灵机有相等的模拟能力,给出了另外一种含时间因素的时延Petri网向时间Petri网的转换方法,这也说明了尽管时间Petri网结构简单,但模拟能力不比其它含时间因素的Petri网逊色,同时为时延Petri网的研究提供了另外一种有效方法。 2)在时间Petri网的活性、有界性方面,通过例子说明了时间Petri网的活性、有界性和相应传统Petri网的相应性质并无对应关系,给出了时间Petri网保持活性、有界性的两个充分必要条件,为利用传统Petri网的性质判定结果来判定时间Petri网的相应性质提供了依据。 3)在网格服务工作流方面,基于颜色Petri网、Web Services和Agent技术设计了一个网格服务工作流系统框架。讨论了如何定位Web服务、如何调用它们提供的服务以及如何使Web Services和Agent协作以创建高度灵活、动态的网格服务工作流系统,并从过程、资源和任务的角度说明了系统的可适应性。 4)在网格服务发现方面,给出了一个多Agent松散耦合的网格服务发现框架。提出以模糊Petri网作为服务描述语言的规范,用来发布或请求服务,基于本体论给出了一个基于语义的服务匹配算法,用可能性与必然性来量化一个服务Agent能对一个请求提供相关服务的信心程度,也就是说,该算法支持部分匹配。 5)在网格服务组合方面,提出了一个基于颜色Petri网的网格服务组合模型。先利用颜色Petri网对网格服务提供的操作(活动)进行形式化建模,然后给出操作间的4种最基本的组合方式(顺序、并发、选择、迭代)的颜色Petri网描述,接着给出了网格服务组合的构造算法。该颜色Petri网模型可清晰地表达组合服务的组成逻辑及明确描述服务之间的相互关系。利用CPN Tools可完成系统行为的模拟以及对系统有界性、活性、可达性等重要性质的分析。
【学位授予单位】:北京科技大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:TP393.09

【参考文献】
中国期刊全文数据库 前10条
1 翟正利;杨扬;;基于模糊Petri网和本体的网格服务发现[J];北京科技大学学报;2006年12期
2 郑然,李胜利,金海;网格资源管理与调度模型的研究[J];华中科技大学学报;2001年12期
3 曹鸿强,肖侬,卢锡城,刘艳;一种基于市场机制的计算网格资源分配方法[J];计算机研究与发展;2002年08期
4 徐志伟,李伟;织女星网格的体系结构研究[J];计算机研究与发展;2002年08期
5 徐志伟,李晓林,游赣梅;织女星信息网格的体系结构研究[J];计算机研究与发展;2002年08期
6 吕庆中,刘梅彦,麦中凡;GSCoL:OGSA框架下的网格服务组合语言[J];计算机工程与应用;2004年03期
7 翟正利;吴哲辉;杨扬;;时间Petri网模拟能力的研究[J];计算机科学;2006年04期
8 翟正利;吴哲辉;杨扬;;时间Petri网保持活性、有界性的两个充要条件[J];计算机科学;2006年09期
9 吴哲辉;有界Petri网的活性和公平性的分析与实现[J];计算机学报;1989年04期
10 许安国,王培良;加权T-图活性的进一步研究[J];计算机学报;1998年01期
中国博士学位论文全文数据库 前1条
1 郭文彩;面向服务的网格工作流关键技术研究[D];北京科技大学;2006年
【共引文献】
中国期刊全文数据库 前10条
1 高志升,刘兴伟;基于语义P2P的Web服务模型[J];阿坝师范高等专科学校学报;2005年03期
2 朱俊峰;浅析网格技术在电大在线平台中的应用[J];安徽广播电视大学学报;2005年03期
3 朱中仁;;基于Petri网的工作流模型构建[J];安徽电子信息职业技术学院学报;2012年01期
4 赵生慧,陈桂林;基于网格技术的校园网资源共享探讨[J];安徽大学学报(自然科学版);2004年04期
5 周巧婷,师海燕;网格资源管理分层模型及其在Globus中的应用[J];安徽职业技术学院学报;2005年01期
6 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
7 万芳;李明;;基于Agent技术的网格资源管理[J];安徽建筑工业学院学报(自然科学版);2006年01期
8 高原;李兵;李宏芒;;基于服务网格的农业信息化共享平台的研究[J];安徽科技;2006年11期
9 赵秀芳;;林业信息服务网格建设初探[J];安徽农业科学;2006年09期
10 王红艳;朱全银;丁甜甜;;通信终端与农村科技服务平台的Web服务数据同步设计[J];安徽农业科学;2012年01期
中国重要会议论文全文数据库 前10条
1 李雄;党生;;基于网格的复杂战争系统仿真研究[A];第二十六届中国控制会议论文集[C];2007年
2 郝卫东;杨扬;;一类企业级信息系统的关键业务过程的网格服务封装[A];第二十六届中国控制会议论文集[C];2007年
3 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
4 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
5 陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
6 党德鹏;徐俏;徐娟;;基于替代的Web服务事务提交协议及其性能分析[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
7 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
8 刘云生;张传富;张童;查亚兵;;基于网格的分布式仿真研究[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
9 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
10 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 何满辉;基于网络集市的虚拟企业模式研究[D];辽宁工程技术大学;2010年
3 朱里越;多业务协同系统服务组合技术研究[D];中国科学技术大学;2010年
4 于晓燕;基于网格的数字图书馆模式构建研究[D];南开大学;2010年
5 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
6 高瞻;网格任务调度中服务质量保证相关问题研究[D];北京交通大学;2010年
7 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年
8 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年
9 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
10 王强;空间信息服务聚合的关键技术研究[D];解放军信息工程大学;2010年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 王欢;基于网格制造的焊接车间信息集成系统的研究[D];南昌航空大学;2010年
3 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
4 吕媛媛;基于本体的物流信息集成系统的研究[D];山东科技大学;2010年
5 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
6 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
7 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
8 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
9 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
10 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 孙凝晖,刘淘英;支持网格的机群操作系统的设计[J];计算机研究与发展;2002年08期
2 徐志伟,李伟;织女星网格的体系结构研究[J];计算机研究与发展;2002年08期
3 徐志伟,李晓林,游赣梅;织女星信息网格的体系结构研究[J];计算机研究与发展;2002年08期
4 吴哲辉;有界Petri网的活性和公平性的分析与实现[J];计算机学报;1989年04期
5 许安国,吴哲辉;加权T-图的保性变换[J];计算机学报;1997年11期
6 许安国,王培良;加权T-图活性的进一步研究[J];计算机学报;1998年01期
7 郭文彩,杨扬,施水才;基于信息网格的视频内容管理系统的设计[J];计算机应用;2004年12期
8 许安国,吴哲辉;加权T图的活性分析[J];软件学报;1993年06期
9 许安国,吴哲辉;用 Petri 网研究一次不定方程[J];系统科学与数学;1992年02期
10 熊盛武,李锋;并行Pareto多目标演化算法[J];武汉大学学报(理学版);2003年03期
【相似文献】
中国期刊全文数据库 前10条
1 万华 ,陆廷金 ,张玉柱 ,黄勇;基于Petri网的Agent建模及其用于C4ISR的时间分析[J];情报指挥控制系统与仿真技术;2002年02期
2 赵骥,肖田元,韩向利,董建华,赵银燕;制造系统虚拟环境行为建模研究[J];清华大学学报(自然科学版);2002年03期
3 陈仁际,吴镇炜,王韬,董昌;基于Agent的分布式多机器人系统建模及分析[J];中国机械工程;2001年06期
4 王伟,苑伟政,张磊;基于Agent的对象有色Petri Net及其在制造单元建模中的应用[J];计算机应用;2003年08期
5 邓远红,郭峰,姚淑珍;基于Petri Net的多Agent系统建模[J];计算机工程与应用;2003年31期
6 邱忠宇,王一欧,顾晃,吴昭同;基于多Agent的汽轮发电机组故障诊断系统[J];中国机械工程;2001年07期
7 张志良,楚丰,游大海,龙云;一种基于CORBA和Agent技术的电力市场仿真平台的研究[J];电力系统及其自动化学报;2002年04期
8 嵇海明,杨宗源,黄海涛;软件工程方法的新进展:面向Agent的软件工程[J];计算机应用研究;2003年05期
9 凌咏红;Agent迁移机制辨析[J];武汉理工大学学报;2003年06期
10 赵进,袁春风;移动Agent系统的安全性研究[J];计算机工程与设计;2004年04期
中国重要会议论文全文数据库 前10条
1 杨海明;程龙;赵佛晓;徐娟;;基于分布式Agent的网格任务调度模型研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
2 ;A Note on Two-agent Single-machine Scheduling Problem with Deteriorating Jobs[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
3 盛惠强;;基于内容和移动Agent的网络计费系统的设计[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
4 颜宇甲;程国建;毛书君;;基于多Agent系统的生态系统建模和仿真[A];第十二届中国青年信息与管理学者大会论文集[C];2010年
5 李志凌;焦丽萍;;一种改进型Agent体系结构研究[A];第七届中国通信学会学术年会论文集[C];2010年
6 郭瑞鹏;王永军;董平;;基于Agent分布式国民经济动员决策支持系统研究[A];Well-off Society Strategies and Systems Engineering--Proceedings of the 13th Annual Conference of System Engineering Society of China[C];2004年
7 陈红英;;基于Agent的GIS服务共享系统的研究[A];第二十七届中国控制会议论文集[C];2008年
8 ;Coordinated Control of Second-Order Multi-Agent Systems With Quantized-Observer[A];中国自动化学会控制理论专业委员会D卷[C];2011年
9 高春蓉;贲可荣;;基于Agent的行为模型在通信对抗仿真中的应用[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
10 赫连佳鹏;景旭;张影;;Agent-Based的神经网络仿真设计在经济系统中的应用[A];'2002系统仿真技术及其应用学术论文集(第四卷)[C];2002年
中国重要报纸全文数据库 前10条
1 Hotsky;昨日重现[N];中国电脑教育报;2003年
2 王宏;从我为网活 到网为我用[N];中国计算机报;2003年
3 河北 周建军;用Agent步入新闻组[N];电脑报;2001年
4 记者 韩士德 申明;我国高效能计算机及网格服务环境研究达国际先进水平[N];科技日报;2010年
5 宜纪;宜昌实施“网格促廉”工程[N];中国纪检监察报;2011年
6 记者 郭熠;“有困难就找网格管理员”[N];滨海时报;2011年
7 本报记者 陈仕;茅草西社区 特色网格彰显特色服务[N];遵义日报;2011年
8 李丰丹;“国家地质空间数据网格服务系统”获发明专利[N];中国矿业报;2009年
9 本报记者 朱竞若 余荣华;北京东城社会管理“凡事不出网格”[N];人民日报;2011年
10 湖南 何锋;高级系统代理Advanced System Agent[N];电脑报;2001年
中国博士学位论文全文数据库 前10条
1 翟正利;基于Petri网和Agent的网格服务工作流及资源管理的研究[D];北京科技大学;2006年
2 焦俊;基于多Agent系统的智能车辆自主行驶控制研究[D];合肥工业大学;2010年
3 贺利坚;多Agent系统中信任和信誉模型的研究[D];北京交通大学;2011年
4 高嘉爽;基于Agent及FEA的焊接加工过程协同设计系统研究[D];哈尔滨工业大学;2009年
5 赵欣培;一种基于Agent的软件过程建模方法研究[D];中国科学院研究生院(软件研究所);2005年
6 王文玺;基于多Agent系统的自主式地面车辆关键技术研究[D];西南交通大学;2010年
7 黄红兵;基于涌现视角的多Agent系统分析研究[D];国防科学技术大学;2009年
8 兰少华;多Agent技术及其应用研究[D];南京理工大学;2002年
9 赵剑冬;基于Agent的产业集群企业竞争模型与仿真研究[D];华南理工大学;2010年
10 宋岩;基于多Agent和本体的散杂货港口集团船舶调度系统研究[D];北京交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
2 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
3 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
4 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
5 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
6 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
7 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
8 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
9 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
10 赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026