异步环境中的服务接口兼容分析.pdfVIP

2006年11月 北京邮电大学学报 NOV．2006 Journalof ofPostsand 第29卷增刊 BeijingUniversity TelecommunicationsV01．29 Sup 文章编号：1007．5321(2006)增．0059．06 异步环境中的服务接口兼容分析 张文涛，詹舒波，陈俊亮 aE京邮电大学计算机科学-q技术学院，北京100876) 摘要：基于异步协议兼容中的可同步条件，对异步消息通信环境中的服务交互进行了接口兼容分析，并提出了一种 异步环境下的接口兼容分析方法．通过这种方法，可以判定2个接口之间的异步交互行为是否一致，从而可以应用 于接口的匹配问题和服务组合的设计时验证，保证最终获得的组合协议也满足可同步条件． 关键词：接口兼容；异步；组合；会话类E—Service；有限状态自动机；Web服务 中图分类号：TP911．2 文献标识码：A Interface for CompatibilityAsynchronously E—Service ZHANG Wen—tao，ZHANShu—bo，CHEN Jun—liang of and (School Science ofPostsand Computer Technology，BeijingUniversity 100876，China) Telecommunications，Beijing Abstract：AlthoughAsyn interactionisundecidable，the interactionbehaviors message asynchronous to iftheinterfacehold condition．Basedonthis anew equalsynchronous peers synchronizable theory methodis to interface ofE-Serviceunder proposed analyze compatibility asynchronouslycommunicating conditionaswellascustomizationon sited environment．Throughcheckingsynchronizable compo interface methodalso the interactioncheckbetweentwoservice automata，this supportsasynchronous service itcanassist to thecorrectness interfaces．Meantime，when applied composition composerguarantee of