Комбінований підхід до імітаційного моделювання динаміки програмних систем на основі інтерпретацій мереж Петрі

Скорочена інформація про документ
dc.contributor.authorСупруненко, Оксана Олександрівна
dc.date.accessioned2021-03-25T09:51:10Z
dc.date.available2021-03-25T09:51:10Z
dc.date.issued2019
dc.description.abstractenBackground. The article presents the reasons for constructing a combined approach to simulation of the dynamics of software systems based on WF-nets and evaluative interpretations of Petri nets. The research of interpretations of Petri nets and formal languages with which they are described for their adaptation to modeling the dynamics of software systems is presented. Objective. Justification of the applicability of the combined approach based on WF-nets and bounded Petrі nets for modeling software systems, determination the characteristics of tools for describing software systems using the Petri nets, additions of block modeling patterns with structures that allow describing the tasks of synchronization, control, cyclic functioning, and their combinations. Methods. The paper presents the possibility of using Petri nets, which are described by the L-type and the G-type languages in a single model. The structural options for using the constructs of Petri nets with their parameters to ensure the liveness and safety of the formed model are presented and analyzed. A model of the user interface of a distributed system that provides collaborative editing of a document is presented. Using a generalized model for schedule compilation and distribution, the use of patterns in the analysis of the network representation of a model is demonstrated. Results. Rules for constructing models of software systems that maintain the structural conflict-free and allow you to analyze the parameters of the elements of the model during simulation were proposed. Conclusions. The article presents the basis for the development of a combined approach for software systems modeling that are based on the combination of WF-nets and bounded Petri nets, which allows taking into account the features of the description of software systems when forming dynamic models.uk
dc.description.abstractruПроблематика. Статья касается вопроса построения комбинированного подхода к имитационному моделированию динамики программных систем на основе WF-сетей и оценочных интерпретаций сетей Петри. Представлены исследования интерпретаций сетей Петри и формальных языков, которыми они описываются, для их адаптации к моделированию динамики программных систем. Цель исследования. Обоснование применимости комбинированного подхода на основе WF-сетей и оценочных сетей Петри для моделирования программных систем; определение особенностей инструментария при описании программных систем сетями Петри; дополнение паттернов блочного моделирования конструкциями, которые позволяют описать задачи синхронизации, контроля, циклического функционирования и их комбинаций. Методика реализации. Представлены доказательства возможности использования сетей Петри, которые описываются языком L-типа и языком G-типа в единой модели. Приведены и проанализированы структурные варианты использования конструкций сетей Петри с их параметрами для обеспечения жизнеспособности и бесконфликтного функционирования сформированной модели. Представлена модель интерфейса пользователя распределенной системы, которая обеспечивает совместное редактирование документа. На примере обобщенной модели составления и распространения расписания продемонстрировано использование паттернов при анализе сетевого представления модели. Результаты исследования. Сформированы правила построения моделей программных систем, которые сохраняют структурную бесконфликтность и позволяют анализировать параметры элементов модели при имитационном моделировании. Выводы. В статье представлены основания для разработки комбинированного подхода для моделирования программных систем, которые базируются на совмещении WF-сетей и оценочных сетей Петри, что позволяет учитывать особенности описания программных систем при формировании динамических моделей.uk
dc.description.abstractukПроблематика. Стаття стосується питання побудови комбінованого підходу до імітаційного моделювання динаміки програмних систем на основі WF-мереж та оціночних інтерпретацій мереж Петрі. Представлено дослідження інтерпретацій мереж Петрі та формальних мов, якими вони описуються, для їх адаптації до моделювання динаміки програмних систем. Мета дослідження. Обґрунтування застосування комбінованого підходу на основі WF-мереж та оціночних мереж Петрі для моделювання програмних систем; визначення особливостей інструментарію при описі програмних систем мережами Петрі; доповнення патернів блочного моделювання конструкціями, що дають можливість описати задачі синхронізації, контролю, циклічного функціонування та їх комбінацій. Методика реалізації. Представлено доведення можливості використання мереж Петрі, які описуються мовою L-типу та мовою G-типу в єдиній моделі. Наведено та проаналізовано структурні варіанти використання конструкцій мереж Петрі з їх параметрами для забезпечення живості та безконфліктного функціонування сформованої моделі. Представлено модель інтерфейсу користувача розподіленої системи, що забезпечує спільне редагування документа. На прикладі узагальненої моделі складання та поширення розкладу продемонстровано використання патернів при аналізі мережного представлення системи. Результати дослідження. Сформовано правила побудови моделей програмних систем, що зберігають структурну безконфліктність і дають можливість аналізувати параметри елементів моделі при імітаційному моделюванні. Висновки. У статті дано підґрунтя для розробки комбінованого підходу до моделювання програмних систем, яке базується на сполученні WF-мереж та оціночних мереж Петрі, що дає можливість враховувати особливості опису програмних систем при формуванні динамічних моделей.uk
dc.format.pagerangeС. 43-53uk
dc.identifier.citationСупруненко, О. О. Комбінований підхід до імітаційного моделювання динаміки програмних систем на основі інтерпретацій мереж Петрі / О. О. Супруненко // Наукові вісті КПІ : міжнародний науково-технічний журнал. – 2019. – № 5-6(127). – С. 43–53. – Бібліогр.: 19 назв.uk
dc.identifier.doihttps://doi.org/10.20535/kpi-sn.2019.5-6.174596
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/40227
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.relation.ispartofНаукові вісті КПІ : міжнародний науково-технічний журнал, 2019, № 5-6(127)uk
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/uk
dc.subjectмоделювання програмної системиuk
dc.subjectмережа Петріuk
dc.subjectWF-мережаuk
dc.subjectформальні мови мереж Петріuk
dc.subjectзадачі синхронізаціїuk
dc.subjectsoftware system modelinguk
dc.subjectPetrі netuk
dc.subjectWF-netuk
dc.subjectformal Petri nets languagesuk
dc.subjectsynchronization tasksuk
dc.subjectмоделирование программной системыuk
dc.subjectсеть Петриuk
dc.subjectWF-сетьuk
dc.subjectформальные языки сетей Петриuk
dc.subjectзадачи синхронизацииuk
dc.subject.udc519.179.2:004.942uk
dc.titleКомбінований підхід до імітаційного моделювання динаміки програмних систем на основі інтерпретацій мереж Петріuk
dc.title.alternativeCombined Approach to Simulation Modeling of the Dynamics of Software Systems Based on Interpretations of Petri Netsuk
dc.title.alternativeКомбинированный подход к имитационному моделированию динамики программных систем на основе интерпретаций сетей Петриuk
dc.typeArticleuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
NVKPI2019-5-6_04.pdf
Розмір:
987.26 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.01 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Наукові вісті КПІ: міжнародний науково-технічний журнал, № 5-6(127)