Формальное описание протокольных стандартов и их реализаций

Рассматриваются две группы методов формального описания протокольных архитектур. Первая группа методов предназначена для описания стандартов ИСО, а вторая — для получения реализаций. Дается сравнительный анализ методов из разных групп — языков ESTELLE и ОСА. Показывается, что сильные стороны языка ESTELLE, предназначенного для стандартизации, становятся малоэффективными для реализации. Показывается целесообразность существования и дальнейшего развития обоих методов.