论文部分内容阅读
基于异步协议兼容中的可同步条件,对异步消息通信环境中的服务交互进行了接口兼容分析,并提出了一种异步环境下的接口兼容分析方法.通过这种方法,可以判定2个接口之间的异步交互行为是否一致,从而可以应用于接口的匹配问题和服务组合的设计时验证,保证最终获得的组合协议也满足可同步条件.
异步环境中的服务接口兼容分析
【摘 要】
：
基于异步协议兼容中的可同步条件,对异步消息通信环境中的服务交互进行了接口兼容分析,并提出了一种异步环境下的接口兼容分析方法.通过这种方法,可以判定2个接口之间的异步
【机 构】
：
北京邮电大学
【出 处】
：
北京邮电大学学报
【发表日期】
：
2006年z2期
【基金项目】
：
国家自然科学基金项目(60432010)
其他文献
目前移动自组网媒体访问控制(MAC)协议采用的先入先出(FIFO)队列容易出现队头阻塞现象,影响后续到其他目的地的分组的发送.本文在功率控制多址接入协议(PCMA)的基础上,提出了
针对已经设计完成的某大型多效蒸发海水淡化系统,分析了在分段等面积温差分配方案条件下,系统变工况运行中的某些热工水力学动态响应特性.研究结果给出了海水侧结垢厚度没有