文档介绍：浙江大学计算机学院
硕士学位论文
可信VO的服务调度和契约执行
姓名:王存浩
申请学位级别:硕士
专业:计算机应用技术
指导教师:高济
20080501
摘要发了可信的服务调度和契约履行机制。服务协同模型能够突破服务协关键词:规范调控,策略驱动,虚拟组织,服务调度,契约执行通过自治式服务协同来实现的按需动态组建和自主演化,是开发计算环境下组装化、服务化应用软件系统的潜在卓越途径;但遭遇因自治个体行为难以预测和控制而导致的协同效应“可信”危机。为解决该危机,课题组提出了规范调控、策略驱动的自治式服务协同模型。在此模型的基础上本文开同的非自治性而导致的局限性,使得服务协同的自主和应变能力具有常规服务协同技术无法比拟的强健和智能优势。基于策略的服务调度克服了传统服务调度流程制定后不能修改的缺点,同时也使调度中的服务操作组件化,带来即插即用的便利性。通过制定面向应用域的契约履行协议,使得契约的表示简单化,规范化,克服了传统契约难以表示的缺点;根据当前的情境触发契约履行协议中的规范,使契约的执行趋于自治和自动化,克服了契约履行困难的缺点。浙江大学硕士学位论文
畁琱—,,瓾畉’’—.羍,筫琲,琫:琾,..,籦—.甆琲;,
学位做储襁秭准签字喻硎年吕┤濂彩签字日期:矽铲么月所签字日期:力仲留年伦覧独创性声明学位论文版权使用授权书表或撰写过的研究成果,也不包含为获得逝鎏盘鲎或其他教育机构的学位或本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。本学位论文作者完全了解浙江大学有权保留并向国家有关部门或机构送交本论文的复印件和磁盘,允许论文被查阅和借阅。本人授权浙江大学可以将学位论文的全部或部分内容编入有关数据库进行检索和传播,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。学位论文作者签名:导师签名:浙江大学硕士学位论文
致谢求是园的两年多学习生涯对我来说受益非浅,其间得到了许多人的关心和帮助,在此我衷心地向他们表示感谢。首先,我要由衷地感谢我的导师高济教授,他渊博的理论知识、严谨的治学态度、诲人不倦的教学作风、和蔼可亲地师者风范,给我们每个学生留下了美好而深刻的印象。带领我轻轻叩开了人工智能的大门,引导我如何学习与科研,使我实践了很多项目、积累了丰富的知识、养成了良好的学习科研作风,并且顺利也完成了毕业设计。高老师将也永远是我人生道路中学习的榜样。其次,我要感谢课题组的程昱,彭艳斌、郭航等前辈师兄,他们的辛勤工作,给我们树立了很好的榜样,也为我们的课题研究打下了良好的基础。我也感谢付朝阳,艾解清,金宇等同学对我的论文研究工作的大力支持,跟他们一起学习、研究、讨论、生活的日子是那么融洽而愉快。与他们在一起的日子将是我一生最美好的回忆。再次,我要感谢我的室友以及同学在生活和学习上给予我无私的帮助。最后,我要特别感谢我的家人、朋友以及所有关心我的人们,在我多年的求学路上他们给了我无微不至的关怀,他们的勉励和支持使我得以顺利地完成论文。王存浩年掠谇笫窃浙江大学硕士学位论文
第滦髀引言随着晌H死啻邮律缃换疃男槟獬∷!;赪的社交网,如何以高度自治的理性实体——自治计算元素魑L峁┤砑竦拇怼】,然而,自治式服务协同面临“自治汀翱尚需求相互冲突的二难困境:务或提供服务的方式各不相同,很难使大规模的献骼唇饩龈丛拥奈侍狻M自治式服务协同模型来解决“可信”危机;提出基于策略的服务调度和开发基于琫纳缃恢悄苷诔晌J迪中乱淮咝阅躓闹匾7绞健C媪僬一需求,各式各样的技术应运而生【,比如服务计算捌,面向服务的架构龋⒏髯哉加辛艘欢ǖ奈恢谩6诜裥男槟庾橹,云渥灾涡杂胫悄苄缘慕岷辖ソサ爻晌4肆煊虻闹饕<际酢,俊然而,目前的服务协同技术面傺现氐木窒扌裕喝砑竦姆亲灾涡缘贾路务协同无法有效、灵活、充分地应对动态变迁也豢稍げ的网络环境和应用需求。服务的获取与提供没有一个合理并稳定的方式去支持。双方需要协同完成的操作没有一个统一的格式来表示。可以实现自治式服务协同,并由此突破服务协同的非自治性而导致的局限性;使用服务调度来实现涞慕换ィ沟肁自己的服务调用与外部服务的调用同构化。使用契约来约定双方需要协同进行的操作,更接近于人类社会,易于让人们接受。相互陌生的动态组建协同系统时,自治性和“黑箱’’性将导致行为难以为系统可靠地预测和控制,从而产生对于能否协同完成全局目标的“可信”危机,严重影响了自治式服务协同的实用化。运行时幕袢》时,契约的表示和执行也各式各样,给需要多个葱瓿傻娜挝翊戳撕大的困难性。为此,本文提出规范调控瓽和策略驱动瓺的面向应用域的契