Построение синтаксически и семантически правильной Queue Network-модели в Triad.Net
Автор: Замятина Елена Борисовна, Шафранов Артем Владимирович
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 4 (8), 2011 года.
Бесплатный доступ
Рассматриваются вопросы автоматизации построения синтаксически и семантически пра- вильной имитационной модели. В основании имитационной модели лежит математическая теория систем массового обслуживания. Такие модели в англоязычной литературе называ- ют Queue Network. Для проверки синтаксической правильности модели в статье предлага- ется использовать графовую грамматику (поскольку для построения модели используют графический интерфейс и графовое представление лежит в основе Triad-моделей). Для про- верки семантической правильности имитационной модели использован онтологический подход.
Имитационная модель, графовая грамматика, онтологический подход
Короткий адрес: https://sciup.org/14729759
IDR: 14729759
Список литературы Построение синтаксически и семантически правильной Queue Network-модели в Triad.Net
- Миков А.И. Автоматизация синтеза микропроцессорных управляющих систем. Иркутск: Изд-во Иркут. ун-та, 1987.
- Клейнрок Л. Теория массового обслуживания/под ред. В.И.Неймана. М.: Машиностроение, 1979.
- Zhang D.-Q., Zhang K., Cao J. A contextsensitive graph grammar formalism for the specification of visual languages.//The Сompu-ter Journal. 2001. Vol. 44, №. 3. С.186-200.
- Миков А.И., Замятина Е.Б., Кубрак Е. Онтологический метод доопределения имитационной модели//XIVth International Conference "Knowledge-Dialogue-Solution", Varna, Bulgaria, 2008. С.133-140.
