Сетевые технологии. Учебное пособие. Баканов В.М. - 28 стр.

MODSIM или SIMSCRIPT) c графическими расширениями; имеются библио-
теки моделей протоколов и аппаратных сетевых средств. При моделировании
выявляются ‘узкие’ места, задержки в передаче данных, загрузка линий, дли-
ны очередей, пиковые нагрузки; в конечном итоге обеспечивается возмож-
ность сравнения различных архитектур построения сетей, определять разме-
щение серверов, рассчитывать трафик.
  К пакетам интерактивного проектирования сетей относится NetSuit Ad-
vanced Professional (фирма NetSuit Development); система позволяет изобра-
жать поэтажную схему здания с размещенными компьютерами и сетевым
оборудованием, проверять допустимость их совместного использования и
иные ограничения.

  3.3 Формальные методы описания протоколов

   Число эксплуатируемых в настоящее время протоколов обмена данными
велико (см. подраздел 2.4); при этом разрабатываются все новые протоко-
лы, обеспечивающие лавинное развитие сетевых технологий (появилась но-
вая область вычислительной техники, называемая ‘протокольной технологи-
ей’).
   Классическое (неформально-словесное, например, ранее упомянутые RFC-
документы) описание протокольных соглашений имеет ряд недостатков;
важнейшие из них - не позволяющая однозначно согласовывать разрабаты-
ваемые стандарты субъективная природа восприятия словесных описаний
(следствие - описания не имеют полноты и основы для анализа), возникают
трудности и труднолокализируемые ошибки при создании реализующих эти
протоколы программных и аппаратных средств.
   По сравнению со словесными формальные описания обладают существен-
ными преимуществами - они строги и однозначны, лежащие в основе кон-
кретного метода формального описания модели позволяют выполнить анализ
(верификацию) описаний, а также автоматизировать процесс трансляции этих
описаний непосредственно в машинную реализацию.
   Формальные методы описания протоколов могут быть разбиты на две
группы - методы первой группы рассматривают объект как автомат (т.н. ‘ав-
томатные методы’), методы второй группы - как ‘черный ящик’, характери-
зующийся только внешним поведением (т.н. ‘методы последовательностей’).
   В качестве представителя первой группы может быть приведен язык
ESTELLE (Extended State Transition Language), второй - язык LOTOS (Language
of Temporal Ordering Specification); оба языка разработаны Международной
организацией стандартов (ISO) и служат базовыми средствами для описания
разрабатывающих международных стандартов.
   Язык ESTELLE (1983 г.) основан на объединении логики конечного автома-
та (при добавлении элементов описания архитектурных особенностей прото-


                                   28