Abstract
Introduces a new design for the manufacturing message specification (MMS) protocol that extends its domain of industrial applications to permit the distribution of objects representing the manufacturing devices. This distribution enables the MMS protocol to support high-level distributed applications. The protocol is specified by using the concept of finite automata represented by Nutt evaluation network notation. The validation technique is based on the calculus of communicating systems proposed by Milner (1980).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have