Граматика мови візуального програмування Петрі-об’єктних моделей
Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складн...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2021 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2021
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/183497 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Граматика мови візуального програмування Петрі-об’єктних моделей / А.Ю. Дифучин, І.В. Стеценко, Е.В. Жаріков // Проблеми програмування. — 2021. — № 4. — С. 82-94. — Бібліогр.: 17 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862750304756301824 |
|---|---|
| author | Дифучин, А.Ю. Стеценко, І.В. Жаріков, Е.В. |
| author_facet | Дифучин, А.Ю. Стеценко, І.В. Жаріков, Е.В. |
| citation_txt | Граматика мови візуального програмування Петрі-об’єктних моделей / А.Ю. Дифучин, І.В. Стеценко, Е.В. Жаріков // Проблеми програмування. — 2021. — № 4. — С. 82-94. — Бібліогр.: 17 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| 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.
|
| first_indexed | 2025-12-07T21:05:32Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-183497 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T21:05:32Z |
| publishDate | 2021 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Граматика мови візуального програмування Петрі-об’єктних моделей Дифучин, А.Ю. Стеценко, І.В. Жаріков, Е.В. Інструментальні засоби та середовища програмування |
| title | Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_alt | The grammar of Petri-object model visual programming language |
| title_full | Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_fullStr | Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_full_unstemmed | Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_short | Граматика мови візуального програмування Петрі-об’єктних моделей |
| title_sort | граматика мови візуального програмування петрі-об’єктних моделей |
| topic | Інструментальні засоби та середовища програмування |
| topic_facet | Інструментальні засоби та середовища програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/183497 |
| 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 |