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

Volume

1

fYear

1995

fDate

18-22 Jun 1995

Firstpage

373

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICC.1995.525196

Filename

525196