文档介绍：期:地苏州大学学位论文独创性声明论文作者签名:一丝盐本人郑重声明:所提交的学位论文是本人在导师的指导下,独立进行研究工作所取得的成果。除文中已经注明引用的内容外,本论文不含其他个人或集体己经发表或撰写过的研究成果,也不含为获得苏州大学或其它教育机构的学位证书而使用过的材料。对本文的研究作出重要贡献的个人和集体,均已在文中以明确方式标明。本人承担本声明的法律责任。口日、
在——年一月解密后适用本规定。苏州大学学位论文使用授权声明本人完全了解苏州大学关于收集、保存和使用学位论文的规定,即:学位论文著作权归属苏州大学。本学位论文电子文档的内容和纸质论文的内容相一致。苏州大学有权向国家图书馆、中国社科院文献信息情报中心、中国科学技术信息研究所蚍绞莸缱映霭嫔、中国学术期刊馀贪电子杂志社送交本学位论文的复印件和电子文档,允许论文被查阅和借阅,可以采用影印、缩印或其他复制手段保存和汇编学位论文,可以将学位论文的全部或部分内容编入有关数据库进行检索。涉密论文口本学位论文属非涉密论文口蹋
中文摘要随着目焖俜⒄褂肫占埃缁砑鸩匠晌N蠢慈砑⒄沟那魇之一。“软件服务魑R恢中碌娜砑堤澹械W欧庾案髦肿试础⑼瓿杉扑悴⒍酝提供服务的任务,被认为是网络化软件的基本组成成分。近年来,以裎V流实现技术的各类软件服务在械氖砍士焖僭龀さ奶疲ü褡楹的方式,灵活、快速构建的网络应用已经渗透到政府、金融、教育等关键行业。面对网络上数量日趋增长的可用服务,如何有效提高服务利用率并保证服务组合系统的可靠性,服务适配发挥着其它方法不可替代的作用,已成为目前服务计算领域中的一个研究热点。从互操作性分层的角度出发,服务适配可能发生在技术、签名、行为换バ、服务质量⒂镆宓炔煌愦巍F渲校形2次的适配换ナ逝研究是关键也是难点。针对现有褡楹瞎讨写嬖谑奔涓兄Aθ酢⒎窭寐实汀⒆楹峡煽啃差等问题,本文提出将定量时间属性引入窠换ナ逝溲芯靠蚣苤校剖奔感知窠换サ男问交!⒔换ナ涞淖远觳夂褪逝淦鹘换バ榈淖远成等具体问题展开研究,主要内容包括:芯渴蔽矢兄猈服务的交互行为和时间属性的形式化表达机制,提出了时间服务协议P秃褪奔浞裥橥络模型及二者的形式化语义。ń换ナ浼觳馕侍庾;猅模型的兼容性判定问题,提出了一种基于模型检测工具的时间感知交互失配的自动化检测技术,其检测结果作为下一步是否需要构造适配器的判断依据。杂谕絋模型满足部分兼容性性质的多个时间感知瘢岢了一种基于时间服务交互P偷氖逝淦鹘换バ樽远伤惴ǎ⒄攵孕槟旅游代理窠辛耸道治觥关键词:时间感知瘢皇奔浞裥椋皇奔浞窠换ィ荒P图觳猓唤换ナ逝作者:王异指导老师:张广泉时间感知窠换ナ逝浼际跹芯
,琣.,瑂,琿,..,瓼,琹琁—,篎,,.,.。琺·
.琭。:—;;
图表索引甓杂Φ谋昙乔ㄒ葡低厶⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.团蟮腡模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.㈡粘摺虵腡模型对应的规约⋯⋯⋯⋯⋯.图母拍钅P汀图服务适配器示例⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图研究内容之间的关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯竦募际跆逑怠图服务编制和编排实例⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯甧窠换ナ逝涞幕驹怼时间感知窠换サ母拍钅P汀换コ【啊图参与者的时间行为描述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..奔湫形C枋銎味杂Φ腡模型隐含时间冲突导致交互失配⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图时间感知窠换ナ浼觳饪蚣堋图在规约中定义终态⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.腡模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一时间冲突导致窠换ニ浪道适配器交互协议生成问题描述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图时间感知袷逝淦鹘换バ樯闪鞒獭时钟排序策略⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..袷道腃P汀袷道腡模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..袷道氖逝淦鹘换バ椤图表索弓时间感知窠换ナ逝浼际跹芯
表基本语句至P偷挠成涔嬖颉表结构化语句至P偷挠成涔嬖颉表并行语句至P偷挠成涔嬖颉表时间语句至P偷挠成涔嬖颉表典型公式至P偷挠成涔嬖颉时问感知窠换ナ逝浼际跹芯图表索弓