In: Proceedings of the IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, 1989, Victoria, BC, Canada, pages 244-248. New York, NY, USA: IEEE, 1989.
Abstract: Three existing protocol modeling techniques have been combined into a design methodology for communication protocols: Petri nets, formal grammars, and programming languages. These methods are evaluated, and each is used to its best advantage. The approach is described and then illustrated with an example.
Keywords: protocol design; communication protocol; formal grammar; programming language.