基于进程代数的Web服务合成的替换分析.pdf

下载文档 降价啦

1
0
约2.6万字
约 9页
2015-09-06 发布于湖北
举报
版权申诉
保障服务

基于进程代数的Web服务合成的替换分析.pdf

1、本文档共9页，可阅读全部内容。
2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

第30卷第11期计算机学报 v01．30No．11 OFCOMPUTERS Nov．2007 2007年11月 CHINESEJOURNAL 基于进程代数的Web服务合成的替换分析刘方方史玉良张亮施伯乐 (复旦大学计算机与信息技术系上海200433) 摘要 Web服务合成是Web服务研究领域的热点问题，Web服务的替换与web服务合成密切相关且对于web 服务合成系统的健壮性有重要作用．使用进程代数作为形式化的工具描述web服务，对合成中的行为特征进行推导，分析由于异步交互对Web服务合成设计与实现产生的影响．在此之上，基于服务合成正确性的定义，提出一种一致性关系，若新服务与将要被替换的参与合成的服务之间存在这种关系，那么替换后的服务合成仍然是正确的，并且替换是上下文无关的．关键词Web服务；合成；替换；进程代数中围法分类号TP311 SubstitutionofWebSerVice ViaProcess Analysis Composition Algebra LIU SHI ZHANG SHIBorLe Fang—FangYu—Liang Liang 200433) (肪加以m￡nfo，c口m户“fing口以h加朋口咖花n如noZogy，F“如行踟泐rs幼，鼽鲫g妇i AbstractWebservices isa issueinWebserviceresearcharea．Substitutionof compositionkey serviceis relatedwith and torobustnessofserVice In closely compositionimportant composition． asformalism WebserVices this use foundationand paper，weprocessalgebra modelingspecifying and onbehavioralfeaturesofWebservices We somecasesthat reasoning composition．analyze on of basedondefinitionof haveeffects and that，and designimplementationcomposition．Upon a substitution．Astothe ofhowtosubstitute Web composition，westudy problem component arelation．newselectedWebservicescansubstituteold serv— service，wepresent Any