МОДЕЛИ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ ДЛЯ ФОРМАЛИЗАЦИИ ЗАДАЧ ПРОЕКТИРОВАНИЯ И АВТОМАТИЗАЦИИ РАЗРАБОТКИ ЖЕЛЕЗНОДОРОЖНЫХ СТАНЦИЙ
Ключевые слова:
Автоматизация проектирования, железнодорожная станция, UML-диаграммы, конечные автоматы, графикАннотация
. Усовершенствован метод формализации описания технологических процессов (TechP) железнодорожной станции (RWS), основанный на методах визуального программирования для моделирования работы железной дороги. UML-диаграммы состояния и активности были адаптированы для представления технологии работы RWS. При формализации описания RWS диаграммы состояний представляются с учетом специфики описания изменения фаз обслуживания объектов в процессе технического обслуживания отдельных объектов.
Показано, что диаграмма состояний для RWS представляет собой конечный автомат (SM), который моделирует последовательность изменения состояний объекта. Детализация поведения объектов, обслуживаемых в RWS, завершена. Детализация выполняется с использованием диаграмм активности. Схемы деятельности используются для формального описания технической поддержки объектов и исполнителей работ на железной дороге.
Предлагается методика создания моделей RWS в виде иерархических SM. Предлагается визуализировать конечные автоматы с учетом особенностей RWS в виде диаграмм Harel (UML state diagrams).
На основе использования иерархического SM были усовершенствованы методы функционального моделирования RWS.
