| 摘要: |
| 通信协议转换器可以看作是两个协议的信息之间的映射．这个映射可以用一个重要信息对偶集合Ｋ来刻划．本文给出相对于Ｋ的协议转换器的形式定义．然后，我们提出用两个有限状态自动机的对偶积来构造协议转换器的方法，并论证了方法的正确性． |
| 关键词: 协议转换器，重要信息映射，对偶积，同态 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| PROTOCOL CONVERTER AND ITS CONSTRUCTION |
|
Zhao Jinrong
|
| Abstract: |
| A protocol converter can be regarded as a mapping between messages of two protocols. This mapping can be characterized by a set K of coupled significant messages. In the present paper a formal definition of the protocol converter with respect to K is given, and proposes a method for constructing the converter which is based on the coupled product of two finite state machines. The correctness of the method is proved. |
| Key words: Protocol converters, significant message mapping, coupled product, homomorphism. |
