基于交互模式的网格服务组合正确性的研究.pdf

下载文档 降价啦

1
0
约9.24千字
约 3页
2018-01-12 发布于广东
举报
版权申诉
保障服务

基于交互模式的网格服务组合正确性的研究.pdf

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

微电子学与计算机 No．9 25卷第9期 Vd．25 2008年9月 2008 MICROELECn的NICSCOM[PUIERSeptdnber 基于交互模式的网格服务组合正确性的研究郭文彩1，一，林闯1 摘要：服务组合技术成为网格领域的研究热点，但是对于服务交互行为以及服务组合正确性的研究，仍缺乏有说服力的理论和现实成果．利用Pi一演算适于描述动态、分布系统的特点，建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理，提出服务组合正确性的定义，并进一步给出基于Pi一演算的网格服务组合正确性验证算法．实验结果证明了该算法在一定应用范围内是可行的．关键词：网格服务组合；交互模式；Pi一演算；正确性中图分类号：TP393 文献标识码：A 文章编号：1000一71so(2008)09—0001—03 Grid Service BasedonInteractionPattern Validating Composition GU0 Wen—cail，一，LIN Chuan91 of Scienceand (1DepartmentComputer Technology，TsinghuaUniversity，Beijing100081，China； 2BERIS andResearch Engineering 014010，China) Corp．，MCC，Baotou Abstract：A1thoughs日vioe is moleresearchleSOtll-ce compositionincreasinglyattracting in鲥dcomputingd(】frlflin，there arestillfewconcrete concentratedin serviceinteractionand its findings analyzing patternvalidatingoamposit玉m．Sp怫ial— izedon the andmobile isusedtO servicebehavioranditsinteraction moddingdynar】nic system，Pi—calculusdepictgrid onwhicha servicecontextcanbe service isfurtherdis— pattern，based grid established．Validatingthe酣d ogmpc8ition cussedandaPi—calculusbased8e1．vice based theoreti- validation onthe g—d co-npositionalgorithm，PGSCV，isproposed eal availableandef