| 摘要: |
| 给定通信协议［Ａ，Ｂ］，［Ｇ，Ｈ］和重要信息映射集合Ｋ，可以构造Ｂ和Ｇ关于Ｋ的对偶积作为这两个协议关于Ｋ的转换器Ｃ．本文讨论这种协议转换模型［Ａ，Ｃ，Ｈ］的死锁和活锁的性质，并给出这种协议转换模型没有死锁和活锁的充要条件． |
| 关键词: 协议转换器，重要信息映射，对偶积，死锁，活锁，同态，弱匹配，强匹配 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| THE PROPERTIES OF PROTOCOL CONVERTERS |
|
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. |
| Key words: Protocol converters, significant message mapping, coupled product, deadlocks, livelocks, homomorphism, weak matchable, strong matchable. |
