Формальная модель кольцевой транспортной сети. Реализация преобразования диалоговой нотации к исходному коду

Богушевська Н.В., Томашевський В.М.

Предложены формальные модели, позволяющие задать характеристики транспортного средства и объекта перевозки для кольцевой транспортной сети. Созданы диалоговые нотации для задания параметров кольцевой сети. Определены функциональные зависимости, позволяющие использовать для моделирования транспортной сети программный код, в котором конфигурация транспортной сети зависит только от параметрической настройки зависимостей. Рассмотрен пример задания транспортной сети при помощи формальных моделей и функциональных зависимостей.


Загрузить (pdf)