Научный журнал
Фундаментальные исследования
ISSN 1812-7339
"Перечень" ВАК
ИФ РИНЦ = 1,222

WEB-СЕРВИС ДЛЯ ПРОВЕДЕНИЯ ЭКСПЕРИМЕНТОВ С ИМИТАЦИОННЫМИ МОДЕЛЯМИ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ

Богданова В.Г. 1 Пашинин А.А. 1
1 Институт динамики систем и теории управления имени В.М. Матросова СО РАН
Рассматривается применение инструментальных средств автоматизации разработки сервис-ориентированных приложений для создания сервиса исследования систем массового обслуживания (СМО) с помощью имитационного моделирования в распределенной вычислительной среде. Сервис предназначен для выполнения имитационной модели на всевозможных сочетаниях значений входных варьируемых параметров модели из области допустимых значений и последующего многокритериального выбора значений наблюдаемых переменных, получаемых в процессе имитационного моделирования. Сервис обеспечивает прозрачный доступ к вычислительным ресурсам, web-интерфейс для постановки задачи, генерацию, распределение и мониторинг потока заданий, возникающих при варьировании параметров имитационной модели СМО. Рассмотрены режимы, способы и средства декомпозиции варьируемого множества параметров. Приведены схема разработки композитного сервиса и варианты его развертывания на вычислительных ресурсах. Описан процесс выполнения имитационной модели с помощью этого сервиса.
сервис имитационного моделирования
средства автоматизации
многовариантные расчеты
1. Феоктистов А.Г. Инструментальные средства имитационного моделирования предметно-ориентированных распределенных вычислительных систем / А.Г. Феоктистов, А.С. Корсуков, Ю.А. Дядькин // Системы управления, связи и безопасности. – 2016. – № 4. – С. 30–60. URL: http://sccs.intelgr.com/archive/2016-04/02-Feoktistov.pdf (дата обращения: 04.09.2017).
2. Byrne J., Heavey C., Byrne P.J. A review of Web-based simulation and supporting tools // Simulation Modelling Practice and Theory. – 2010. – vol. 18, no. 3. – Р. 253–276.
3. Tsai W.-T., Li W., Sarjoughian H., Shao Q. SimSaaS: simulation software-as-a-service. Proceedings of the 44th Annual Simulation Symposium. – 2011. – Р. 77–86.
4. Azevedo T., Rossetti R.J.F., Barbosa J.G. Densifying the sparse cloud SimSaaS: The need of a synergy among agent-directed simulation, SimSaaS and HLA. https://arxiv.org/abs/1601.08116 (accessed 04.09.2017).
5. Fujimoto R. M. Research Challenges in Parallel and Distributed Simulation // ACM Transactions on Modeling and Computer Simulation. – 2016. – vol. 26, no. 4. – Р. 22:1–22:29.
6. Плотников А. М. Анализ современного состояния и тенденции развития имитационного моделирования в Российской Федерации (по материалам конференции «Имитационное моделирование. Теория и практика» (ИММОД)) / А.М. Плотников и др. // Тр. СПИИРАН. – 2013. – № 25. – С. 42–112.
7. Богданова В.Г. Инструментальные средства автоматизации многовариантных расчетов при исследовании систем массового обслуживания / В.Г. Богданова, А.А. Пашинин // Фундаментальные исследования. – 2016. – № 9–3. – С. 467–472.
8. Bychkov I.V., Oparin G.A., Bogdanova V.G., Pashinin A.A., Gorsky S.A. Automation Development Framework of Scalable Scientific Web Applications Based on Subject Domain Knowledge. Proc. of the 14th International Conference on Parallel Computing Technologies // LNCS. – 2017. – vol. 10421. – Р. 278–288.
9. Toolkit for Simulation Modeling of Logistics Warehouse in Distributed Computing Environment / I. Bychkov et al. // Информационные технологии и нанотехнологии: Сб. тр. III Междунар. конф. и молодежной шк. Самара: Изд-во Самарского государственного аэрокосмического университета. – 2017. – С. 1106–1111.
10. Феоктистов А.Г. Управление сложной системой на основе методологии многокритериального выбора управляющих воздействий / А.Г. Феоктистов // Фундаментальные исследования. – 2015. – № 9–1. – С. 82–86.
11. Прохоров А.А. Шаблоны инженерных и научных расчетов / А.А. Прохоров, А.М. Назаренко, А.В. Давыдов. URL: http://ceur-ws.org/Vol-1787/403-409-paper-70.pdf. (дата обращения: 04.09.2017).
12. Bychkov I., Oparin G., Feoktistov A., Bogdanova V., Sidorov I. The Service-Oriented Multiagent Approach to High-Performance Scientific Computing. Proc. of the Sixth Conference on Numerical Analysis and Applications // LNCS. – 2017. – vol. 10187. – P. 261–268.
13. Oparin G., Feoktistov A., Bogdanova V., Sidorov I. Automation of multi-agent control for complex dynamic systems in heterogeneous computational network // AIP Conference Proceedings. – 2017. – vol. 1798. – P. 020117-1–020117-10. URL: http://doi.org/10.1063/1.4972709 (accessed 04.09.2017).
14. Oparin G.A., Bogdanova V.G., Gorsky S.A. Pashinin  A.A. Service-oriented application for parallel solving the Parametric Synthesis Feedback problem of controlled dynamic systems. Proc. of the 40th International Convention on Information and Communication Technology, Electronics and Microelectronic. – 2017. – Р. 353–358. URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7973448&isnumber=7973374.
15. Иркутский суперкомпьютерный центр СО РАН. URL: http://hpc.icc.ru/ (дата обращения: 28.08.2017).

Сравнительный анализ систем имитационного моделирования [1] дает возможность определения дальнейшего направления исследований в отношении разработки инструментальных средств автоматизации проведения имитационных экспериментов на основе современных технологий. В настоящее время активно развивается тенденция привлечения технологии распределенных и облачных вычислений для имитационного моделирования сложных систем массового обслуживания (СМО). Интеграция имитационного моделирования с интернет-технологиями привела к появлению концепции web-моделирования (Web-based simulation, WBS), преимущества и недостатки которого по сравнению с классическими системами моделирования рассматриваются в обзорной работе [2]. В этой же работе рассматривается возможность применения ряда технологий и архитектурных решений, в частности SOA, для WBS. В работе [3] дается всесторонний обзор сервис-ориентированных инструментальных средств имитационного моделирования и делается вывод, что, хотя в этой области достигнут значительный прогресс, многие проблемы, в частности автоматизация создания, совместимость, повторное использование, оркестровка и хореография сервисов, требуют дальнейшего исследования. В работе [4] рассматривается модель облачных вычислений Simulation Software-as-a-Service (SimSaaS), в рамках которой программные средства имитационного моделирования предоставляются как услуга. В [5] отмечается, что параллельное и распределенное имитационное моделирование эволюционировало за последние десятилетия, однако в настоящее время в этой области возникают новые задачи, в частности обеспечение возможности проведения широкодоступного распределенного моделирования посредством упрощения для конечного пользователя доступа к специализированным системам разработки таких моделей и исполнению этих моделей в распределенных и облачных средах. В [6] отмечается, что перспективным направлением решения подобных задач является применение современных интеллектуальных информационных технологий. Такая тенденция актуализирует разработку инструментальных средств, автоматизирующих возможность использования потенциала высокопроизводительных вычислений.

Настоящая статья посвящена дальнейшему развитию исследований, связанных с автоматизацией многовариантных расчетов для декомпозируемых вычислительных задач в рамках сервис-ориентированного подхода, изложенного в [7]. Целью исследования является разработка и реализация новой версии сервиса имитационного моделирования систем массового обслуживания (СМО) на основе платформы HPCSOMAS Framework [8]. Этот сервис (Simulation of Queuing Systems, SimQS) предназначен для выполнения имитационной модели в среде GPSS WORLD на всевозможных сочетаниях значений входных варьируемых параметров модели из области допустимых значений и последующего многокритериального выбора [10] значений наблюдаемых переменных, получаемых в процессе имитационного моделирования. SimQS не является монолитным приложением, а реализован в виде набора сервисов. Управление их взаимодействием в процессе имитационного моделирования осуществляется с помощью предоставляемых платформой специализированных системных сервисов (далее – сервисов логики выполнения).

Создание сервиса на основе HPCSOMAS Framework

Сервис-ориентированное приложение (композитный сервис), разработанное на основе HPCSOMAS Framework (рис. 1), содержит служебные агенты-сервисы, использующиеся при выполнении запроса пользователя и предметно-ориентированные вычислительные агенты-сервисы, реализующие методы исследования математических моделей предметной области (ПО). Служебные сервисы предназначены для выполнения функций управления выполнением композитного сервиса, управления данными пользователя, организации взаимодействия с пользователем. Эти сервисы не зависят от предметной области, реализованы на основе соответствующих классов библиотеки создания агентов-сервисов, имеют схему описания на языке JSON, являются повторно-используемыми. Вычислительные сервисы являются атомарными или композитными, состоящими из набора атомарных и вложенных композитных сервисов.

Расчетная схема, соответствующая композитному сервису, описывает план проведения вычислительного эксперимента для решения конкретной задачи ПО, строится на основе вычислительной модели ПО и задает логику выполнения композиции подзадач, каждой из которых соответствует вычислительный модуль или вложенная расчетная схема. В [11] приведены шаблоны расчетов, соответствующие типовым подзадачам, возникающим в процессе вычислительных экспериментов. Основу описания расчетных схем составляют шаблоны типовых подзадач, которым соответствуют следующие базовые виды расчета: последовательный, параллельный, альтернативный, статический многовариантный, динамический многовариантный, итеративный и составной, который может включать как перечисленные типы расчетов, так и вложенный составной расчет.

При параллельном выполнении многовариантных расчетов в среде HPCSOMAS используется декомпозиция по данным, выполняемая в статическом режиме (когда декомпозируемое множество данных известно заранее) или в динамическом, когда декомпозируемое множество строится в процессе решения задачи. Применяемые способы декомпозиции сформировались в результате опыта разработки сервис-ориентированных приложений для решения задач параметрического синтеза стабилизирующей обратной связи для динамических управляемых систем и задач булевой выполнимости [8, 12–14] и основаны на построении расчетной сетки варьируемых с некоторым шагом и в заданных границах параметров, задании битовой маски (в случае, когда в переборе вариантов участвует только часть параметров, указать которые нельзя регулярным способом) или списка, когда области допустимых значений параметров имеют разную структуру. Для параллельного выполнения многовариантных расчетов на основе функционального параллелизма применяется способ декомпозиции по заданному набору альтернативных элементов, например набору программ, реализующих разные методы решения задачи на одних и тех же исходных данных.

Механизмы декомпозиции заложены в служебные сервисы логики выполнения, реализующие шаблоны схем многовариантных расчетов. При создании композитного сервиса они встраиваются в последовательность вычислительных сервисов. Сервисы логики выполнения в процессе интерпретации расчетной схемы распределяют подзадачи на вычислительные слои, в которых они могут выполняться последовательно или параллельно в зависимости от соответствующего подзадаче шаблона расчета. При реализации SimQS использованы три таких сервиса: сервис создания вычислительного слоя (CREATE PLATER XXX), сервис условия выполнения элемента слоя (CONDITION XXX) и сервис снятия вычислительного слоя (DELETE PLAYER). Обозначение «XXX» для каждого способа декомпозиции заменяется значениями модификаторов. При создании вычислительного слоя первый модификатор связан с режимом декомпозиции, второй зависит от способа декомпозиции, третий показывает, все ли элементы вычислительного слоя должны быть выполнены. Сервис создания вычислительного слоя используется совместно с сервисом условия выполнения элемента слоя. Для сервиса условия модификаторы имеют другой смысл: тип условия, вид операции отношения, установка флага прекращения выполнения оставшихся подзадач при получении решения для одного из вариантов или синхронизации для выполнения всех элементов слоя (таблица).

С помощью сервисов логики выполнения схема SimQS описывается следующим образом:

1. CREATE PLAYER SLA (TAB, TABPROC1).

2. GPSS RUN.

3. CONDITION LTW.

4. JOIN.

5. DELETE PLAYER.

6. JRA.

В первой строке создается параллельный вычислительный слой для статического многовариантного расчета, осуществляется генерация вариантов для подзадач слоя (в скобках заданы параметры – способ представления списка параметров в интерфейсе пользователя (макроконстанта TAB) и вид обработчика табличных данных (макроконстанта TABPROC1). Во второй строке запускается сервис исполнения имитационной модели для варианта расчета, в третьей строке стоит сервис синхронизации завершения выполнения всех подзадач, в четвертой объединяются отчеты, полученные при прогоне вариантов, в пятой снимается вычислительный слой, в шестой выполняется сервис, анализирующий результаты моделирования с использованием методологии многокритериального выбора.

Развертывание приложения на ресурсах можно производить на основе технологии как тонкого клиента, так и толстого клиента (рис. 2). На ресурсах устанавливается hpcsomas-агент. Доступ к сервису осуществляется через web-браузер.

bogd1.tif

Рис. 1. Разработка композитного сервиса на основе платформы HPCSOMAS

Модификаторы сервисов логики выполнения

Сервис

X

X

X

CREATE PLAYER

Static/Dynamic

S|D

Grid/Mask/List/Set

G|M|L|S

All elements/Part

A|P

CONDITION

Arithmetical/Logical

A|L

EQ/NE/GT/LT/True E|N|G|L|T

Delete Layer/Wait

D|W

 

bogd2.tif

Рис. 2. Развертывание композитного сервиса на вычислительных ресурсах

Для развертывания сервиса на ресурсах Иркутского научного центра [15] использовалась технология тонкого клиента.

Выполнение имитационной модели сервисом SimQS

Пользователь выбирает модель с помощью сервиса файлового менеджера, web-интерфейс которого представлен на рис. 3. Если модель отсутствует в пространстве пользователя на сервере, ее можно загрузить с внешнего ресурса с помощью кнопок в нижней части формы «Выберите файл» и «Загрузить». Дополнительные файлы модели вводятся аналогично. Если постановка задачи осуществляется первый раз, должны быть введены связанные с моделью варьируемые входные параметры и наблюдаемые переменные. В web-интерфейсе сервиса SimQS для ввода этих данных используются табличные элементы управления. Шаблон постановки задачи с введенными входными данными может быть сохранен, тогда при повторном исполнении модели можно загрузить (и отредактировать) сохраненную ранее постановку задачи. Для выполнения имитационной модели нужно нажать кнопку на web-интерфейсе сервиса SimQS «Создать задание». После завершения задания на вкладке «Результаты» web-интерфейса hpcsomas-агента можно получить и просмотреть итоговый отчет «report.txt» (рис. 3).

Приведенные на рис. 3 результаты получены с помощью многокритериального выбора на основе метода лексикографического упорядочения, примененного к объединенным отчетам, полученным в результате выполнения модели для каждого сочетания варьируемых параметров. Список вариантов доступен на вкладке «Результаты» по команде «information (i)», открывающей окно просмотра характеристик задачи. При описании примера работы сервиса SimQS использовалась имитационная модель рефрижераторного склада, описанная в [9].

Заключение

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

bogd3.tif

Рис. 3. Выполнение имитационной модели PRRModel средствами сервиса SimQS

Исследование выполнено при поддержке РФФИ, проект № 15-29-07955-офи_м и при частичной поддержке Программы 1.33П фундаментальных исследований Президиума РАН, проект «Разработка новых подходов к созданию и исследованию моделей сложных информационно-вычислительных и динамических систем с приложениями» и Совета по грантам Президента Российской Федерации для государственной поддержки ведущих научных школ Российской Федерации (НШ-8081.2016.9). 


Библиографическая ссылка

Богданова В.Г., Пашинин А.А. WEB-СЕРВИС ДЛЯ ПРОВЕДЕНИЯ ЭКСПЕРИМЕНТОВ С ИМИТАЦИОННЫМИ МОДЕЛЯМИ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ // Фундаментальные исследования. – 2017. – № 10-2. – С. 177-182;
URL: http://www.fundamental-research.ru/ru/article/view?id=41808 (дата обращения: 20.07.2019).

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Фундаментальные исследования» список ВАК ИФ РИНЦ = 1.252