2025-02-23T06:38:10-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-183497%22&qt=morelikethis&rows=5
2025-02-23T06:38:10-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-183497%22&qt=morelikethis&rows=5
2025-02-23T06:38:10-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T06:38:10-05:00 DEBUG: Deserialized SOLR response

Граматика мови візуального програмування Петрі-об’єктних моделей

Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складн...

Full description

Saved in:
Bibliographic Details
Main Authors: Дифучин, А.Ю., Стеценко, І.В., Жаріков, Е.В.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2021
Series:Проблеми програмування
Subjects:
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/183497
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-183497
record_format dspace
spelling irk-123456789-1834972022-03-28T01:33:27Z Граматика мови візуального програмування Петрі-об’єктних моделей Дифучин, А.Ю. Стеценко, І.В. Жаріков, Е.В. Інструментальні засоби та середовища програмування Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складних систем. Через нагромадження зв’язків та елементів перевага візуального сприйняття моделі зникає, модифікація параметрів моделі потребує значної кількості рутинних дій. Петрі-об’єктні моделі вирішують проблему тиражування фрагментів мереж Петрі з заданими параметрами та конструювання моделі системи з великої кількості елементів. Однак Петрі-об’єктна технологія не позбавляє необхідності зв’язування елементів моделі. Розроблена мова візуального програмування Петрі-об’єктних моделей дає можливість зменшити кількість помилок при конструюванні моделі за рахунок автоматизації кодування зв’язків між елементами моделі та графічного представлення моделі. Окрім тиражування Петрі-об’єктів, мова реалізує тиражування зв’язків між Петрі-об’єктами. За рахунок такого тиражування досягається також компактність візуального представлення для складних моделей. Реалізація введених понять у мові візуального програмування дає можливість швидко створювати та групувати елементи моделі. Алфавіт мови складається із графічних елементів, передбачених для конструювання Петрі-об’єктної моделі. Синтаксис мови визначений правилами конструювання виразів із послідовності символів алфавіту мови. Семантика мови програмування визначається правилами перетворення мовних виразів в обчислення. Формалізація граматики мови візуального програмування представлена у вигляді правил виведення та зроблені висновки про її властивості. Petri-object models solve the problem of replicating fragments of Petri nets with given parameters and constructing a model from a large number of elements. The developed visual programming language of Petri-object models gives a possibility to reduce the number of errors during a model construction by automating the coding links between elements and graphical representation of a model. In addition to replicating Petri objects, the visual language implements replication of links between Petri objects. Formalization of the visual programming language grammar is presented in the form of production rules. A conclusion about grammar properties has been drawn. 2021 Article Граматика мови візуального програмування Петрі-об’єктних моделей / А.Ю. Дифучин, І.В. Стеценко, Е.В. Жаріков // Проблеми програмування. — 2021. — № 4. — С. 82-94. — Бібліогр.: 17 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407pp2021.04.082 http://dspace.nbuv.gov.ua/handle/123456789/183497 004.43::004.94 uk Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic Інструментальні засоби та середовища програмування
Інструментальні засоби та середовища програмування
spellingShingle Інструментальні засоби та середовища програмування
Інструментальні засоби та середовища програмування
Дифучин, А.Ю.
Стеценко, І.В.
Жаріков, Е.В.
Граматика мови візуального програмування Петрі-об’єктних моделей
Проблеми програмування
description Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складних систем. Через нагромадження зв’язків та елементів перевага візуального сприйняття моделі зникає, модифікація параметрів моделі потребує значної кількості рутинних дій. Петрі-об’єктні моделі вирішують проблему тиражування фрагментів мереж Петрі з заданими параметрами та конструювання моделі системи з великої кількості елементів. Однак Петрі-об’єктна технологія не позбавляє необхідності зв’язування елементів моделі. Розроблена мова візуального програмування Петрі-об’єктних моделей дає можливість зменшити кількість помилок при конструюванні моделі за рахунок автоматизації кодування зв’язків між елементами моделі та графічного представлення моделі. Окрім тиражування Петрі-об’єктів, мова реалізує тиражування зв’язків між Петрі-об’єктами. За рахунок такого тиражування досягається також компактність візуального представлення для складних моделей. Реалізація введених понять у мові візуального програмування дає можливість швидко створювати та групувати елементи моделі. Алфавіт мови складається із графічних елементів, передбачених для конструювання Петрі-об’єктної моделі. Синтаксис мови визначений правилами конструювання виразів із послідовності символів алфавіту мови. Семантика мови програмування визначається правилами перетворення мовних виразів в обчислення. Формалізація граматики мови візуального програмування представлена у вигляді правил виведення та зроблені висновки про її властивості.
format Article
author Дифучин, А.Ю.
Стеценко, І.В.
Жаріков, Е.В.
author_facet Дифучин, А.Ю.
Стеценко, І.В.
Жаріков, Е.В.
author_sort Дифучин, А.Ю.
title Граматика мови візуального програмування Петрі-об’єктних моделей
title_short Граматика мови візуального програмування Петрі-об’єктних моделей
title_full Граматика мови візуального програмування Петрі-об’єктних моделей
title_fullStr Граматика мови візуального програмування Петрі-об’єктних моделей
title_full_unstemmed Граматика мови візуального програмування Петрі-об’єктних моделей
title_sort граматика мови візуального програмування петрі-об’єктних моделей
publisher Інститут програмних систем НАН України
publishDate 2021
topic_facet Інструментальні засоби та середовища програмування
url http://dspace.nbuv.gov.ua/handle/123456789/183497
citation_txt Граматика мови візуального програмування Петрі-об’єктних моделей / А.Ю. Дифучин, І.В. Стеценко, Е.В. Жаріков // Проблеми програмування. — 2021. — № 4. — С. 82-94. — Бібліогр.: 17 назв. — укр.
series Проблеми програмування
work_keys_str_mv AT difučinaû gramatikamovivízualʹnogoprogramuvannâpetríobêktnihmodelej
AT stecenkoív gramatikamovivízualʹnogoprogramuvannâpetríobêktnihmodelej
AT žaríkovev gramatikamovivízualʹnogoprogramuvannâpetríobêktnihmodelej
first_indexed 2023-10-18T22:57:04Z
last_indexed 2023-10-18T22:57:04Z
_version_ 1796156859260862464