论文部分内容阅读
网络协议的形式化描述对于协议的定义，协议的正确性验证以及协议的实施有着非常重要的意义。本文采用有限状态自动机的方法对制造自动化协议（ＭＡＰ）的关键部分ＭＭＳ的程序调用服务进行了形式化的描述。
The formal description of the network protocol is very important for the definition of the protocol, the verification of the correctness of the protocol and the implementation of the protocol. In this paper, a finite state automaton method is used to formally describe the procedure call service of MMS which is a key part of Manufacturing Automation Protocol (MAP).