стосується питання побудови комбінованого підходу до імітаційного моделювання динаміки програмних систем на основі WF-мереж та оціночних інтерпретацій мереж Петрі. Представлено дослідження інтерпретацій мереж Петрі та формальних мов, якими вони описуються, для їх адаптації до моделювання динаміки програмних систем. Мета дослідження. Обґрунтування застосування комбінованого підходу на основі WF-мереж та оціночних мереж Петрі для моделювання програмних систем; визначення особливостей інструментарію при описі програмних систем мережами Петрі; доповнення патернів блочного моделювання конструкціями, що дають можливість описати задачі синхронізації, контролю, циклічного функціонування та їх комбінацій. Методика реалізації. Представлено доведення можливості використання мереж Петрі, які описуються мовою L-типу та мовою G-типу в єдиній моделі. Наведено та проаналізовано структурні варіанти використання конструкцій мереж Петрі з їх параметрами для забезпечення живості та безконфліктного функціонування сформованої моделі. Представлено модель інтерфейсу користувача розподіленої системи, що забезпечує спільне редагування документа. На прикладі узагальненої моделі складання та поширення розкладу продемонстровано використання патернів при аналізі мережного представлення системи. Результати дослідження. Сформовано правила побудови моделей програмних систем, що зберігають структурну безконфліктність і дають можливість аналізувати параметри елементів моделі при імітаційному моделюванні. Висновки. У статті дано підґрунтя для розробки комбінованого підходу до моделювання програмних систем, яке базується на сполученні WF-мереж та оціночних мереж Петрі, що дає можливість враховувати особливості опису програмних систем при формуванні динамічних моделей. Ключові слова: моделювання програмної системи; мережа Петрі; WF-мережа; формальні мови мереж Петрі; задачі синхронізації.
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture of a combined approach to studying the dynamic properties of systems with parallelism are described. An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model. Discrete-event modeling and modeling of dynamic systems, which allow reflecting the quantitative and qualitative characteristics of the elements of the systems under study, served as the basis for the combined approach to the simulation of systems with parallelism. On their basis, graphic-analytical tools are proposed that provide the ability to describe the modeled system, adhering to the principle of structural similarity. They have dynamic simulations that make it easy to visually analyze and correct the model. Also, the proposed toolkit provides for the analysis of the dynamic properties of the model, which makes it possible to identify accumulated phenomena that can lead to unpredictability of the system’s functioning. A conceptual model for the synthesis and analysis of systems with parallelism is proposed, which provides for the construction of the components of the model based on the architecture. Their step-by-step analysis and the formation of an integral model of the software system are carried out using a network representation, according to the matrix description of which invariants are calculated. The analysis of invariants allows one to obtain the dynamic properties of the model and determine the localization of structures that lead to critical situations when they are detected. The architecture of the combined approach to the simulation of systems with parallelism is built, which provides the study of their dynamic properties to improve the reliability of the functioning of software systems
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.