Dr. Gregor von Bochmann

The Information Superhighway consists of interconnecting computer network. It could not be built until a methodology of designing and testing protocols had evolved. Professor Gregor Bochmann is recognized internationally for having created the field of 'protocol engineering'. In a seminal 1977 paper he proposed a formal model for specifying and designing communication protocols, and followed it with major papers enlarging upon the concepts. Later developments include testing protocol implementations and using an extended Finite State Machine model for partially-defined and non-deterministic specifications. More generally, the technique is applicable to software engineering of distributed and discrete-event systems.