MAP载波带局域网MMS程序调用服务的形式化描述
The Formal Description of MMS’ Program Invocation of MAP Carrier Band Local Area Network
-
摘要: 网络协议的形式化描述对于协议的定义，协议的正确性验证以及协议的实施有着非常重要的意义。本文采用有限状态自动机的方法对制造自动化协议（ＭＡＰ）的关键部分ＭＭＳ的程序调用服务进行了形式化的描述。Abstract: The formal description of the network protocol is very important for specification, validation and implementation of the protocol.This paper gives a formal description to the program invocation-the key part of Manufacturing Automation Protocol with finite state automaton.
下载: