DocumentCode
2735074
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
fYear
1990
fDate
21-23 May 1990
Firstpage
178
Lastpage
185
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Integrated Manufacturing, 1990., Proceedings of Rensselaer's Second International Conference on
Conference_Location
Troy, NY
Print_ISBN
0-8186-1966-X
Type
conf
DOI
10.1109/CIM.1990.128094
Filename
128094
Link To Document