Protocol validation for systems with distributed control

A system for communication protocol validation is presented. The inputs of the system are protocol descriptions that fit within the framework of the ISO Open Systems Interconnections Reference Model. These inputs include protocols used to coordinate parallel processes in applications with distributed control. The protocol is a set of rules that govern the cooperation of entities in a functional layer. Based on analysis of these descriptions, some general properties of protocols are outlined; the absence of deadlock, completeness (the provision for all inputs), channel overflow, etc.