收藏本站
《浙江大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

面向实时任务求解的自治服务协同模型、形式语义及其验证

傅朝阳  
【摘要】:随着科技的发展,网络上出现了大量以分布式、开放性为特征的复杂系统,实时任务求解是这些系统运作过程中必须解决重要问题之一。服务计算(SOC)理论为实时任务求解提供了相对于传统求解方式更加灵活、高效的解决方案,其主要方法是:通过自动化的服务组合过程提供求解方案,构建一个由若干服务构成的临时联合体,一旦用户任务求解结束,这个临时联合体随即解散。 随着实际应用场景日益复杂,基于SOC的实时任务求解技术的不足已经显露。首先,实际应用需求对实时任务求解(RTS)的自动化程度要求越来越高。目前的SOC技术难以在自动化的精度和速度上取得较好的平衡,限制了RTS的实际应用。其次,SOC的计算实体一方面由于缺乏理性和智能无法有效应对动态变迁且不可预测的网络环境和应用需求,另一方面需要一个总控机制拥有关于开放复杂系统的全局观点以处理实时求解过程中的各种突发事件,迫使开放系统再次陷入封闭状态。第三,需要对实时任务求解方案实施形式分析和验证,以保证能够实现预期的需求目标。目前的验证方法局限于针对底层的组合服务能否正确执行和实现用户既定目标进行验证。然而,这类验证即使成功,仍不能保证实时求解过程能够正确执行,同时无法处理任务求解参与者“逃逸”的问题。针对以上问题,本文做了以下研究工作。 第一,研究了提高实时任务求解的自动化程度的手段,给出了分别从服务描述、服务发现和动态服务组合三方面提升性能的方法。在服务描述方面,提出从服务描述的应用层、语义层、实现层对服务的语义逐层封装的方法学,这三层具体为:基于本体建立服务语义所需知识的获取方法和过程、支持多属性的服务能力描述模型和扩展任务情景描述模式。并给出了针对服务描述应用层设计的本体生成工具,该工具通过人机界面,以向导指引服务描述自动生成,将整个描述服务的过程高度自动化。在服务发现方面,提出将多重词法散列与语义匹配相结合的服务发现机制;该机制针对不同粒度子块设计散列函数,在按子块粒度递增的多重散列过程中完成服务匹配,并基于子块间的包容关系语义进行散列冲突消解。在动态组合方面,基于上述服务发现机制建立的服务库,提出了基于DCWMG的动态服务组合算法。基于DCWMG的相关性质,该算法将深度优先与广度优先搜索相结合,利用反向边识别和着色技术,实现了具有线性复杂度的两点间所有连通路径查找;给出了算法复杂度分析,并将该算法与国际认可的动态服务组合基准测试方法在动态服务组合的性能方面做了比较。 第二,研究了提升求解计算实体智能的方法。在已有工作基础上,提出了基于社会承诺的外部调控机制内化模型。该模型在Cohen与Levesque的心智状态模型基础上引入承诺,并结合N.R.Jennings的基于承诺和约定的合作模型,实现了外部宏观调控机制通过承诺的形式被转化为智能计算实体内部的信念、愿望、意图元素,为计算实体接受并遵从应用层宏观指令提供了实现基础。 第三,研究了实时任务求解过程的形式语义及其验证方法。针对基于承诺的协同工作模型,建立了粗粒度的ATCL逻辑。该逻辑通过引入承诺,将ATL的合作算子《》扩展为《C:ζ:ω:(?)》,表示:组织C承诺当条件ζ满足时立刻开始按规划(?)执行,保证在ω成立之前实现某商定内容。首先给出基于行为的迁移系统,以此建模基于带有截至期限条件承诺的agent组织,在其上分别给出了ATCL的语法和语义。并通过实例演示ATCL的表达能力。给出了针对ATCL的模型检测方法,证明了其复杂度。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黄漾;;分布式环境下任务调度探讨[J];电脑知识与技术;2011年19期
2 王传瑞;孙彦景;钱建生;荣鹏辉;;基于资源回收的实时任务同步算法[J];计算机仿真;2011年08期
3 朱晓敏;祝江汉;马满好;;异构集群系统中具有QoS需求的实时任务容错调度[J];软件学报;2011年07期
4 唐新亭;;基于双向需求的电子就业服务模型研究[J];计算机工程;2011年15期
5 周保余;孔德刚;赵宏伟;仲明杰;;嵌入式Linux实时性研究[J];吉林大学学报(信息科学版);2011年04期
6 薛二伟;;嵌入式Linux实时化关键技术[J];计算机时代;2011年06期
7 余以胜;;面向客户服务的信息过滤代理的研究[J];微型机与应用;2011年13期
8 孟建;侯琳琳;薛卫京;王海洋;;一种基于Web Service技术的医学信息整合平台构建方案实现[J];中国医疗器械杂志;2011年04期
9 夏秋粉;李明楚;徐子川;吴国伟;;具有温度感知特性的实时调度研究[J];计算机工程与应用;2011年26期
10 杨令省;张忠玉;唐金文;郭洪斌;;省级人口信息资源共享平台设计与实现[J];微型机与应用;2011年15期
11 肖鹏;胡志刚;;截止时间约束下独立网格任务的协同调度模型[J];电子学报;2011年08期
12 冯菁;;NET中开发WEB Service的应用探讨[J];广西民族师范学院学报;2011年03期
13 刘晓俐;;面向服务的EAI框架的研究与实现[J];中国水运(下半月);2011年09期
14 东东;;任务栏缩略图不再忽隐忽现[J];电脑爱好者;2010年23期
15 陈琢悦;丁利佳;;SOA在电厂人力资源管理系统中的研究与应用[J];电脑知识与技术;2011年13期
16 许燕萍;;Windows下的实时控制研究[J];电子技术;2011年07期
17 张奕;蔡皖东;;整合RTSJ的动态实时OSGi服务部署机制研究[J];计算机科学;2011年08期
18 刘正雄;黄攀峰;闫杰;;RTX下高分辨率精确授时系统设计[J];计算机测量与控制;2011年07期
19 张奇锋;吴卿;;面向政务数据中心的访问控制机制的研究[J];杭州电子科技大学学报;2011年03期
20 吴豪;;基于离散型制造业的PDM/ERP/MES系统集成研究[J];技术与市场;2011年07期
中国重要会议论文全文数据库 前10条
1 谢礼坤;李迪;陈崇成;;空间分析服务代理机制研究[A];第十四届全国遥感技术学术交流会论文摘要集[C];2003年
2 袁阳;王庆;彭敦陆;周傲英;;Peer-to-Peer环境下Web服务的查找[A];第二十届全国数据库学术会议论文集(研究报告篇)[C];2003年
3 陈宏;彭敦陆;王晓玲;周傲英;;一种基于质量的Web服务选择方法[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
4 饶文碧;张丽;柯慧燕;易健康;;服务发现协议互操作性的研究[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
5 黄一斌;彭文成;薛青;赵定海;;基于服务代理的电台组网训练平台的研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
6 李中林;张军;李辉;曾丽君;;基于Delphi的Jini服务的实现与发布[A];2009年全国开放式分布与并行计算机学术会议论文集(下册)[C];2009年
7 宋春明;徐拾义;;C++类测试中的测控技术[A];第十届全国容错计算学术会议论文集[C];2003年
8 谷清范;李海峰;吴介一;张飒兵;;基于新型网络服务体系的网络化制造环境下的信息服务研究[A];先进制造技术论坛暨第二届制造业自动化与信息化技术交流会论文集[C];2003年
9 周双娥;袁由光;熊兵周;;分布系统的动态容错调度算法[A];第十届全国容错计算学术会议论文集[C];2003年
10 陈耀;李慕君;冯志彪;;基于MATLAB的单机实时系统的应用研究[A];2004全国测控、计量与仪器仪表学术年会论文集(上册)[C];2004年
中国重要报纸全文数据库 前10条
1 通讯员 杜荷花 方旻煌;通城推行服务代理解民难[N];咸宁日报;2006年
2 潘向东;上高县服务代理制赢得客商赞扬[N];光华时报;2006年
3 青岛市物资企业托管中心 孙建嵩;“变管理为服务”是和谐企业之道[N];中国企业报;2008年
4 记者 刘剑英 通讯员 岳红军;复兴区庞村街道开展亲情服务代理[N];河北日报;2006年
5 ;Jini为SOA夯实根基[N];网络世界;2005年
6 张婷婷;社区服务全程代理 服务到家[N];成都日报;2008年
7 记者 王丹容;群众动动嘴 干部来跑腿[N];温州日报;2007年
8 邵淑娟 记者 于敬文;城子河区全程代理百姓事[N];鸡西日报;2007年
9 贺彩梅;便民服务代理机构遍布肃南[N];甘肃法制报;2008年
10 王龙;西乌旗:四式服务便民利民[N];锡林郭勒日报(汉);2011年
中国博士学位论文全文数据库 前10条
1 傅朝阳;面向实时任务求解的自治服务协同模型、形式语义及其验证[D];浙江大学;2010年
2 曲明;基于本体的服务发现与组合方法研究[D];吉林大学;2012年
3 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年
4 李慕君;基于PC/Windows环境的电力系统动态数字实时仿真系统研究[D];同济大学;2005年
5 唐朝刚;基于QoS的服务选择问题的研究[D];中国科学技术大学;2012年
6 刘晓光;网络化制造中Web服务自动组合的若干关键技术研究[D];上海交通大学;2008年
7 马民;分布式交互仿真中容错和实时技术研究[D];国防科学技术大学;2006年
8 俞东进;基于服务的决策支持系统研究[D];浙江工商大学;2010年
9 杜立新;实时SOA中的服务调度关键问题研究[D];山东大学;2012年
10 张勇;具有环境感知的普适计算服务自适应性研究[D];上海交通大学;2009年
中国硕士学位论文全文数据库 前10条
1 林峥;数字图书馆中的元数据技术应用研究[D];河海大学;2002年
2 张建华;一种Web服务代理自动生成工具[D];西安电子科技大学;2008年
3 谭煌;业务流程装配平台的设计与实现[D];湖南师范大学;2006年
4 许飒爽;服务个性化技术与系统[D];上海交通大学;2011年
5 傅权岷;基于SOFL的设计时服务组合方法的研究[D];上海交通大学;2011年
6 李玲;基于Web服务的企业质量数据管理系统设计[D];南京信息工程大学;2011年
7 王晓鹏;大型分布式系统服务对象部署与运行监控技术的研究与实践[D];国防科学技术大学;2006年
8 贾蕾蕾;社区电子服务系统的设计与实现[D];陕西师范大学;2010年
9 郭忆;面向组合的服务语义关系研究[D];天津大学;2012年
10 李攀;基于服务社区的服务异构处理方法研究[D];东北大学;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978