Программное обеспечение компьютерных сетей и информационных систем. Баканов В.М. - 26 стр.

                                   - 26 -


СОРМ (тотальное протоколирование трафика Сети, подробнее см.
www.ice.ru/libertarium/sorm).
    Примерами программ анализа и моделирования вычислительных сетей
служат COMNET III (фирма CACI Products Company, www.caciasi.com) и
OPNET(OPNET, www.mil3.com). Подобные системы используют для задания
исходных данных проблемно-ориентированные языки (например, MODSIM
или SIMSCRIPT) c графическими расширениями; имеются библиотеки моде-
лей протоколов и аппаратных сетевых средств. При моделировании выявля-
ются ‘узкие’ места, задержки в передаче данных, загрузка линий, длины оче-
редей, пиковые нагрузки; в конечном итоге обеспечивается возможность
сравнения различных архитектур построения сетей, определять размещение
серверов, рассчитывать трафик.
    К пакетам интерактивного проектирования сетей относится NetSuit Ad-
vanced Professional (фирма NetSuit Development); система позволяет изобра-
жать поэтажную схему здания с размещенными компьютерами и сетевым
оборудованием, проверять допустимость их совместного использования и
иные ограничения.

3.3.ФОРМАЛЬНЫЕ МЕТОДЫ ОПИСАНИЯ ПРОТОКОЛОВ

      Число эксплуатируемых в настоящее время протоколов обмена данными
велико (см. подраздел 2.4); при этом разрабатываются все новые протоко-
лы, обеспечивающие лавинное развитие сетевых технологий (появилась но-
вая область вычислительной техники, называемая ‘протокольной технологи-
ей’).
      Классическое (неформально-словесное, например, ранее упомянутые
RFC-документы) описание протокольных соглашений имеет ряд недостатков;
важнейшие из них - не позволяющая однозначно согласовывать разрабаты-
ваемые стандарты субъективная природа восприятия словесных описаний
(следствие - описания не имеют полноты и основы для анализа), возникают
трудности и труднолокализируемые ошибки при создании реализующих эти
протоколы программных и аппаратных средств [8].
      По сравнению со словесными формальные описания обладают сущест-
венными преимуществами - они строги и однозначны, лежащие в основе
конкретного метода формального описания модели позволяют выполнить
анализ (верификацию) описаний, а также автоматизировать процесс трансля-
ции этих описаний непосредственно в машинную реализацию.
      Формальные методы описания протоколов могут быть разбиты на две
группы - методы первой группы рассматривают объект как автомат (т.н. ‘ав-
томатные методы’), методы второй группы - как ‘черный ящик’, характери-
зующийся только внешним поведением (т.н. ‘методы последовательностей’).