Title :
Protenv: a programming environment for protocol development
Author :
Abburi, R. ; Gildea, K.J. ; Krishnamoorthy, M.S. ; Ramamurthy, B.
Author_Institution :
Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
Abstract :
The design and functionality of Protenv, a programming environment for protocol development, is described. Protenv runs under X windows and allows the user to develop protocols using Petri nets and Estelle. The combination of Petri nets and Estelle provides a precise protocol specification as well as a powerful way for graphical visualization and verification of protocols. The use of Protenv to specify, analyze, and implement the manufacturing message specification (MMS) is also discussed
Keywords :
Petri nets; programming environments; protocols; Estelle; Petri nets; Protenv; X windows; graphical visualization; manufacturing message specification; programming environment; protocol; verification; Automata; Computer networks; Computer science; Distributed computing; Graphics; Petri nets; Programming environments; Protocols; Robustness; Visualization;
Conference_Titel :
Computer Integrated Manufacturing, 1990., Proceedings of Rensselaer's Second International Conference on
Conference_Location :
Troy, NY
Print_ISBN :
0-8186-1966-X
DOI :
10.1109/CIM.1990.128094
