文档介绍：浙江大学计算机科学与技术
硕士学位论文
Web服务行为适配技术研究
姓名:缪晶晶
申请学位级别:硕士
专业:计算机应用技术
指导教师:吴健;邓水光
20080501
摘要面向服务的体系架构,作为一种新的分布式软件系统架构,为互联网环境中服务共享、服务重用、业务集成提供了新的解决方案,它能实现系统之间的松散耦合,从而提高软件组件的可重用性。技术是实现墓丶际酰欢鳺服务的异构性、动态性、分布式和不断演化的特点使得服务之间的协同交互变得异常复杂。因此,如何提高服务之间协同的正确性和可靠性成为实施墓丶侍狻曲服务适配是解决这一问题的可行方法,也是推动面向服务的软件架构应用与实施的关键技术。本文在分析袷逝浼际醴⒄瓜肿吹幕∩希芖服务行为模型、裥形J配检测以及自动适配等问题展开研究,主要工作与贡献包括以下四方面:提出了裥形DP偷男问交泶锓椒研究能表达服务的过程流转、状态变迁、消息传递等动态行为属性的通用行为模型,提出基于兀演算形式化表达的行为模型,利用兀演算提供的操作语义和辅助工具对服务的交互行为进行严谨的分析和推导。提出了裥形=换サ氖浼觳饧捌渌惴基于通用的行为模型与形式化表达,设计了一套高效的失配检测机制,准确扑捉失配点信息,并定制了合理的失配模式与分类规则,在检测出失配点之后,基于失配类型能及时对失配模式进行识别,为适配提供诊断依据。提出了窠换サ氖逝淦魃杉八惴依据失配检测的结果,本文还研究了在不同失配点和失配模式下适配器的行为特征,在行为模型的形式化方法基础上研究适配器的生成规则,最后基于生成规则和形式化推演,提出了适配器的自动生成及构造算法。设计了支持自动适配的褡楹显拖低提出了支持自动适配的褡楹显拖低车奶逑导芄梗思芄勾映橄蟛面刻画了服务适配的过程,基于抽象的体系架构思想,开发了一个集服务流程建模模块、服务组合验证模块、服务行为失配检测模块、服务行为适配模块以及服务流程运行平台等功能于一体的褡楹显拖低场关键词面向服务的体系架构琖服务适配,Ⅱ演算,失配检测,适配器浙江大学硕士学位论文
,,甒琩,甌琱甒,,嬲,.,浙江大学硕士学位论文瑈瑃,.,—.,
图目录拍罴芄钩俊图服务适配器⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图基于有限状态机表达的订单服务行为模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图基于亩┑シ裥形DP汀图用狙菟阒械耐ǖ辣硎镜脑谙叨┕悍瘛图谑逝淦鹘槿胂碌腤服务适配过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图裉逑到峁埂图服务组合和协作协议栈俊图在线订购服务⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯裥形J浼觳饬鞒掏肌图粗粒度消息失配类型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图细粒度消息失配类型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图消息异步失配类型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图消息同步失配类型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图消息序列失配类型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图适配器生成流程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图服务行为适配子系统体系架构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯瘛服务⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一袷粜陨瓒ā癜蠖ā图形DP妥;黄鱏图贛的裥形<嫒菪匝橹ぁ图窳鞒淘诵衅教ㄌ逑导芄埂浙江大学硕士学位论文
表目录种基本连接符⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表几种建模服务行为的形式化方法的比较⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表在线订购服务消息⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯癫僮骱【演算中的进程表达式对应表⋯⋯⋯⋯⋯⋯⋯⋯⋯表浙江大学硕士学位论文
签字日期:睹石月弓日学位⋯一:霹岔滕⋯:沙分年移月弓日⋯姗躲绛签字日期:勿柝鹿浙江大学研究生学位论文独创性声明学位论文版权使用授权书表或撰写过的研究成果,也不包含为获得逝姿盘堂或其他教育机构的学位或构送交本论文的复印件和磁盘,允许论文被查阅和借阅。本人授权滥姿态堂本学位论文作者完全了解澎婆盘堂有权保留并向国家有关部门或机本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。可以将学位论文的全部或部分内容编入有关数据库进行检索和传播,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。C艿难宦畚脑诮饷芎笫视帽臼谌ㄊ导师签名:日:
,作为