Abstract:
Two group of methods for formal description of protocol architectures are discussed. The one is intended for description of ISO standards and the other, for obtaining the realizations. Methods from various groups of languages, ESTELLE and OSA are compared. The strong points of ESTELLE intended for standardization are shown to be inefficient in realization. The desirability of further extension of both methods is demonstrated.
Fulltext:
PDF file (1326 kB)