| 通信协议转换器的性质 |
| |
| 引用本文： | 赵锦蓉. 通信协议转换器的性质[J]. 软件学报, 1995, 6(2): 99-106 |
| |
| 作者姓名： | 赵锦蓉 |
| |
| 作者单位： | 清华大学计算中心,北京,100084 |
| |
| 摘 要： | 给定通信协议［Ａ，Ｂ］，［Ｇ，Ｈ］和重要信息映射集合Ｋ，可以构造Ｂ和Ｇ关于Ｋ的对偶积作为这两个协议关于Ｋ的转换器Ｃ．本文讨论这种协议转换模型［Ａ，Ｃ，Ｈ］的死锁和活锁的性质，并给出这种协议转换模型没有死锁和活锁的充要条件．
|
| 关 键 词： | 协议转换器，重要信息映射，对偶积，死锁，活锁，同态，弱匹配，强匹配 |
| 收稿时间： | 1992-06-23 |
| 修稿时间： | 1992-12-01 |
THE PROPERTIES OF PROTOCOL CONVERTERS |
| |
| Zhao Jinrong. THE PROPERTIES OF PROTOCOL CONVERTERS[J]. Journal of Software, 1995, 6(2): 99-106 |
| |
| Authors: | Zhao Jinrong |
| |
| Abstract: | For two protocols [A,B] and [G,H] and a significant message mapping set K, this paper can construct the converter C of these two protocols with respect to K as the coupled product of B and G with K. This paper discusses the properties of such a protocol conversion model [A,C,H], specifically the properties of its freedom from deadlocks andlivelocks. Some sufficient and necessary conditions are given. |
| |
| Keywords: | Protocol converters significant message mapping coupled product deadlocks livelocks homomorphism weak matchable strong matchable. |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
