|

Классификация методов моделирования распределенных систем обработки информации

Авторы: Адамова И.О.
Опубликовано в выпуске: #2(55)/2021
DOI: 10.18698/2541-8009-2021-2-676


Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации

Ключевые слова: распределенные системы, моделирование распределенных систем, конечные автоматы, вероятностные автоматы, сети Петри, вложенные сети Петри, алгебры процессов, агрегативная система, агентная модель, граф

Опубликовано: 22.03.2021

Для моделирования распределенных систем обработки информации применяется большое количество различных формализмов и методов, однако не каждый из них может достаточно отобразить все свойства таких сложных систем. Как инструменты для их анализа и контроля рассматриваются следующие формализмы: алгебры процессов, агрегативные системы, агентные модели, а также такие разновидности графов, как конечные автоматы, вероятностные автоматы, сети Петри, системы массового обслуживания. Приведена классификация перечисленных инструментов, отмечены их основные особенности, предложены варианты использования для работы с ними существующего программного обеспечения, выделен наиболее подходящий формализм. На основании указанных особенностей сделан вывод, что наиболее подходящими для анализа и контроля сложных систем являются вложенные многоуровневые сети Петри.


Литература

[1] Габалин А.В. Вопросы оптимизации структуры распределенных систем обработки информации. Прикладная информатика, 2007, № 6, с. 129–139.

[2] Гурин Р.Е., Рудаков И.В., Ребриков А.В. Методы верификации программного обеспечения. Наука и образование: научное издание, 2015, № 10. URL: http://engineering-science.ru/doc/823129.html

[3] TismTool: веб-сайт. URL: www.tismtool.com (дата обращения: 11.12.2019).

[4] Старолетов С.М., Крючкова Е.Н. Моделирование распределенных многокомпонентных программных систем и их тестирование на основе автоматных вероятностных моделей. Барнаул, Изд-во АлтГТУ, 2011.

[5] Котов В.Е. Сети Петри. М., Наука, 1984.

[6] Ломазова И.А. Вложенные сети Петри. М., Научный мир, 2004.

[7] Romeo: веб-сайт. URL: http://romeo.rts-software.org (дата обращения: 11.12.2019).

[8] CPN Tools: веб-сайт. URL: http://cpntools.org (дата обращения: 11.12.2019).

[9] Дворянский Л.В., Ломазова И.А. Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools. Моделирование и анализ информационных систем, 2012, т. 19, № 5, с. 115–130.

[10] Fokkink W. Introduction to process algebra. Springer, 2007.

[11] Лычкина Н.Н. Имитационное моделирование экономических процессов. М., Академия АйТи, 2005.

[12] Лебедюк Э.А. Агентное моделирование: состояние и перспективы. Вестник РЭА им. Г.В. Плеханова, 2017, № 6, с. 155–162.

[13] NetLogo: веб-сайт. URL: https://ccl.northwestern.edu/netlogo (дата обращения: 11.12.2019).