Граматика мови візуального програмування Петрі-об’єктних моделей
Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складн...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2021 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2021
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/183497 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Граматика мови візуального програмування Петрі-об’єктних моделей / А.Ю. Дифучин, І.В. Стеценко, Е.В. Жаріков // Проблеми програмування. — 2021. — № 4. — С. 82-94. — Бібліогр.: 17 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-183497 |
|---|---|
| record_format |
dspace |
| spelling |
Дифучин, А.Ю. Стеценко, І.В. Жаріков, Е.В. 2022-03-27T17:56:09Z 2022-03-27T17:56:09Z 2021 Граматика мови візуального програмування Петрі-об’єктних моделей / А.Ю. Дифучин, І.В. Стеценко, Е.В. Жаріков // Проблеми програмування. — 2021. — № 4. — С. 82-94. — Бібліогр.: 17 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407pp2021.04.082 https://nasplib.isofts.kiev.ua/handle/123456789/183497 004.43::004.94 Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складних систем. Через нагромадження зв’язків та елементів перевага візуального сприйняття моделі зникає, модифікація параметрів моделі потребує значної кількості рутинних дій. Петрі-об’єктні моделі вирішують проблему тиражування фрагментів мереж Петрі з заданими параметрами та конструювання моделі системи з великої кількості елементів. Однак Петрі-об’єктна технологія не позбавляє необхідності зв’язування елементів моделі. Розроблена мова візуального програмування Петрі-об’єктних моделей дає можливість зменшити кількість помилок при конструюванні моделі за рахунок автоматизації кодування зв’язків між елементами моделі та графічного представлення моделі. Окрім тиражування Петрі-об’єктів, мова реалізує тиражування зв’язків між Петрі-об’єктами. За рахунок такого тиражування досягається також компактність візуального представлення для складних моделей. Реалізація введених понять у мові візуального програмування дає можливість швидко створювати та групувати елементи моделі. Алфавіт мови складається із графічних елементів, передбачених для конструювання Петрі-об’єктної моделі. Синтаксис мови визначений правилами конструювання виразів із послідовності символів алфавіту мови. Семантика мови програмування визначається правилами перетворення мовних виразів в обчислення. Формалізація граматики мови візуального програмування представлена у вигляді правил виведення та зроблені висновки про її властивості. 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. uk Інститут програмних систем НАН України Проблеми програмування Інструментальні засоби та середовища програмування Граматика мови візуального програмування Петрі-об’єктних моделей The grammar of Petri-object model visual programming language Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Граматика мови візуального програмування Петрі-об’єктних моделей |
| spellingShingle |
Граматика мови візуального програмування Петрі-об’єктних моделей Дифучин, А.Ю. Стеценко, І.В. Жаріков, Е.В. Інструментальні засоби та середовища програмування |
| title_short |
Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_full |
Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_fullStr |
Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_full_unstemmed |
Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_sort |
граматика мови візуального програмування петрі-об’єктних моделей |
| author |
Дифучин, А.Ю. Стеценко, І.В. Жаріков, Е.В. |
| author_facet |
Дифучин, А.Ю. Стеценко, І.В. Жаріков, Е.В. |
| topic |
Інструментальні засоби та середовища програмування |
| topic_facet |
Інструментальні засоби та середовища програмування |
| publishDate |
2021 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
The grammar of Petri-object model visual programming language |
| description |
Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складних систем. Через нагромадження зв’язків та елементів перевага візуального сприйняття моделі зникає, модифікація параметрів моделі потребує значної кількості рутинних дій. Петрі-об’єктні моделі вирішують проблему тиражування фрагментів мереж Петрі з заданими параметрами та конструювання моделі системи з великої кількості елементів. Однак Петрі-об’єктна технологія не позбавляє необхідності зв’язування елементів моделі. Розроблена мова візуального програмування Петрі-об’єктних моделей дає можливість зменшити кількість помилок при конструюванні моделі за рахунок автоматизації кодування зв’язків між елементами моделі та графічного представлення моделі. Окрім тиражування Петрі-об’єктів, мова реалізує тиражування зв’язків між Петрі-об’єктами. За рахунок такого тиражування досягається також компактність візуального представлення для складних моделей. Реалізація введених понять у мові візуального програмування дає можливість швидко створювати та групувати елементи моделі. Алфавіт мови складається із графічних елементів, передбачених для конструювання Петрі-об’єктної моделі. Синтаксис мови визначений правилами конструювання виразів із послідовності символів алфавіту мови. Семантика мови програмування визначається правилами перетворення мовних виразів в обчислення. Формалізація граматики мови візуального програмування представлена у вигляді правил виведення та зроблені висновки про її властивості.
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/183497 |
| citation_txt |
Граматика мови візуального програмування Петрі-об’єктних моделей / А.Ю. Дифучин, І.В. Стеценко, Е.В. Жаріков // Проблеми програмування. — 2021. — № 4. — С. 82-94. — Бібліогр.: 17 назв. — укр. |
| work_keys_str_mv |
AT difučinaû gramatikamovivízualʹnogoprogramuvannâpetríobêktnihmodelei AT stecenkoív gramatikamovivízualʹnogoprogramuvannâpetríobêktnihmodelei AT žaríkovev gramatikamovivízualʹnogoprogramuvannâpetríobêktnihmodelei AT difučinaû thegrammarofpetriobjectmodelvisualprogramminglanguage AT stecenkoív thegrammarofpetriobjectmodelvisualprogramminglanguage AT žaríkovev thegrammarofpetriobjectmodelvisualprogramminglanguage |
| first_indexed |
2025-12-07T21:05:32Z |
| last_indexed |
2025-12-07T21:05:32Z |
| _version_ |
1850885047988518912 |