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

doi:10.13190/jbupt.2006s2.59.zhangwt

北京邮电大学学报 ›› 2006, Vol. 29 ›› Issue (s2): 59-64.doi: 10.13190/jbupt.2006s2.59.zhangwt

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

张文涛, 詹舒波，陈俊亮

北京邮电大学计算机科学与技术学院，北京 100876

收稿日期:2006-09-05 修回日期:1900-01-01 出版日期:2006-11-30 发布日期:2006-11-30
通讯作者: 张文涛

Interface compatibility for Asynchronously Communicating E-Service

ZHANG Wen-tao,ZHANG Shu-bo, CHEN Jun-liang

School of Computer Science and Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China

Received:2006-09-05 Revised:1900-01-01 Online:2006-11-30 Published:2006-11-30
Contact: ZHANG Wen-tao

摘要/Abstract

摘要：

基于异步协议兼容中的可同步条件，对异步消息通信环境中的服务交互进行接口兼容分析，提出一种异步环境下的接口兼容分析方法，通过这种方法，可以判定两个接口之间的异步交互行为是否是一致的，从而可以应用于接口的匹配问题和服务组合的设计时验证，保证最终获得的组合协议也满足可同步条件。

关键词: 接口兼容, 异步, 组合, 会话类E-Service, 有限状态自动机, Web 服务

Abstract:

Although Asyn message interaction is undecidable, the asynchronous interaction behaviors equal to synchronous if the interface peers hold synchronizable condition. Based on this theory a new method is proposed to analyze interface compatibility of E-service under asynchronously communicating environment. Through checking synchronizable condition as well as customization on compo sited interface automata, this method also supports the asynchronous interaction check between two service interfaces. Meantime, when applied service composition it can assist composer to guarantee the correctness of composition in term of synchronizable condition.

Key words: interface compatibility, asynchronously communicating, composition, session-oriented E-service, Finite states machine, Web service

中图分类号:

TN911.22

张文涛, 詹舒波，陈俊亮. 异步环境中的服务接口兼容分析[J]. 北京邮电大学学报, 2006, 29(s2): 59-64.

ZHANG Wen-tao,ZHANG Shu-bo, CHEN Jun-liang. Interface compatibility for Asynchronously Communicating E-Service[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2006, 29(s2): 59-64.

[1]	赵方, 吴凡. GNSS/INS自适应智能组合导航算法[J]. 北京邮电大学学报, 2022, 45(2): 1-8.
[2]	程佳慧, 缪新育, 赵婧妍, 乔耀军, 喻松. 基于GM(1,1)和D-MECM的钟差预报方法[J]. 北京邮电大学学报, 2022, 45(2): 44-49.
[3]	火元莲, 连培君, 齐永锋, 王丹凤. 一种改进的凸组合仿射投影符号算法[J]. 北京邮电大学学报, 2022, 45(1): 102-107.
[4]	李剑, 刘鹏, 刘维. 双重注意力充分组合评论特征的推荐模型[J]. 北京邮电大学学报, 2021, 44(4): 115-120.
[5]	许同乐, 王营博, 孟祥川, 宋汝君. 改进的灰色神经网络预测方法[J]. 北京邮电大学学报, 2018, 41(6): 52-57,64.
[6]	张志华, 罗守山, 朱洪亮, 辛阳. WSN异步休眠模式下节点捕获早期检测方法[J]. 北京邮电大学学报, 2018, 41(3): 32-38.
[7]	周莉, 郭伟震, 张维华. 基于证据排序融合的局部冲突信息再分配算法[J]. 北京邮电大学学报, 2018, 41(2): 109-113.
[8]	薛大为, 王永, 高康凯. 利用奇异值和虚假度的证据组合方法[J]. 北京邮电大学学报, 2018, 41(1): 95-102.
[9]	肖海林, 王茹, 颜晓娟, 蒋为. 多基站协作异步干扰抑制预编码设计[J]. 北京邮电大学学报, 2017, 40(6): 86-91.
[10]	刘琳岚, 刘群, 郭凯, 韩洋. 机会传感网络移动节点连通度的影响因素[J]. 北京邮电大学学报, 2016, 39(6): 116-120.
[11]	周莉, 唐文静, 郭伟震. 基于改进D-S证据组合规则的目标识别算法[J]. 北京邮电大学学报, 2016, 39(5): 47-50.
[12]	曾乐雅, 许华, 王天睿. 改进的凸组合最小均方算法[J]. 北京邮电大学学报, 2016, 39(4): 114-117.
[13]	齐琳, 李超, 窦峥. 并行组合脉冲MIR UWB通信系统建模与仿真[J]. 北京邮电大学学报, 2016, 39(1): 74-78.
[14]	刘明夺, 郭黎利, 姜晓斐. 并行组合扩频系统中Gold序列代数和相关性及优选[J]. 北京邮电大学学报, 2013, 36(4): 33-38.
[15]	张龙昌. 混合QoS感知的服务组合群决策[J]. 北京邮电大学学报, 2013, 36(1): 27-30.

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

Interface compatibility for Asynchronously Communicating E-Service

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价