Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей

Анотація

В статье предложены формализмы, позволяющие описывать набор основных свойств программно-конфигурируемых сетей. В рамках задачи анализа и верификации предложен метод, который базируется на модельном подходе и анализе последовательности смены состояний элементов модели сети. В качестве аппарата моделирования предложено использовать аппарат Е-сетей. Проводится анализ таких свойств модели, как достижимость, ограниченность, живость. Ил.: 1. Библиогр.: 11 назв.

Ключевые слова: задача анализа и верификации, программно-конфигурируемые сети, моделирование, Е-сеть.