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
Граматика мови візуального програмування Петрі-об’єктних моделей
Імітаційне моделювання широко використовується у дослідженні властивостей систем, пошуку оптимальних умов, прогнозування. Мережі Петрі є універсальним інструментом для формалізації дискретно-подійних систем. Недоліком мереж Петрі є зростання кількості візуальних елементів під час проєктування складн...
Saved in:
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 |