Title :
Design and validation of a multi-server MMS protocol
Author :
Dakroury, Y. ; Elloy, J.P. ; Ricordel, R.
Author_Institution :
Fac. of Eng., Ain Shams Univ., Cairo, Egypt
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)
Keywords :
calculus of communicating systems; client-server systems; computer integrated manufacturing; finite automata; formal specification; formal verification; protocols; Nutt evaluation network notation; calculus of communicating systems; design; finite automata; high-level distributed applications; industrial application; manufacturing devices; manufacturing message specification; multi-server MMS protocol; validation; Application software; Automata; Calculus; Communication standards; Computer aided manufacturing; Computer industry; Computer integrated manufacturing; Electrical equipment industry; Manufacturing industries; Protocols;
Conference_Titel :
Communications, 1995. ICC '95 Seattle, 'Gateway to Globalization', 1995 IEEE International Conference on
Conference_Location :
Seattle, WA
Print_ISBN :
0-7803-2486-2
DOI :
10.1109/ICC.1995.525196
