д-р техн. наук, профессор,
440026, Пенза, ул. Красная, 40
Doctor of Engineering Science, Professor,
440026, Penza, Krasnaya str., 40
аспирант,
440026, Пенза, ул. Красная, 40
Post-Graduate Student,
440026, Penza, Krasnaya str., 40
канд. техн. наук, доцент,
440026, Пенза, ул. Красная, 40
Candidate of Engineering Sciences, Associated Professor,
440026, Penza, Krasnaya str., 40
Актуальность и цель. Объектом исследования является функциональная архитектура распределенных вычислительных систем с переменной (реконфигурируемой) структурой, характерной для гибридных систем облачно-сетевого (грид) типа. Несмотря на то, что сети Петри издавна исследуются как в теоретическом, так и в практическом планах, методы их интерпретации продолжают интенсивно развиваться. В настоящее время в недостаточной степени исследована проблема вложения сетей Петри в архитектуру распределенных сетевых приложений, используемых для реализации глобальных вычислений в современных смешанных облачных, грид и кластерных системах. Показано, что в современных исследованиях сети Петри используются в основном при моделировании дискретных систем и процессов, а не в качестве основы для формализованных спецификаций при разработке распределенных приложений. В этой связи актуальной является интерпретация сетей Петри в приложениях к функциональной архитектуре распределенных вычислительных систем с переменной структурой, основанной на сетевом программном обеспечении промежуточного класса (класса middleware). Целью работы являлась интеграция графических представлений концептуальных графов, семантических сетей, сценариев и сетей Петри, что позволило создать эффективный инструментарий с графической поддержкой для проектирования функциональной архитектуры распределенных вычислительных систем с переменной структурой и, в частности, облачной архитектуры вида NCaaSoD – Network Computing as a Service on Demand (сетевые вычисления как облачный сервис по требованию пользователя).
Материалы и методы. Использованы концептуальные модели распределенных процессов, являющиеся графической интерпретацией исчисления предикатов первого порядка. Предложены концептуальные графы для распределенных сетей Петри смешанного типа, которые позволяют описывать с целью последующей реализации вычислительные процессы в глобальных вычислительных сетях.
Результаты. На основе интеграции графических представлений концептуальных графов, семантических сетей, сценариев и сетей Петри предложены концептуальные представления распределенных реконфигурируемых сетей Петри, позволяющие реализовать их непосредственное вложение в архитектуру вычислительной сети.
Выводы. Предложены новые концептуально-поведенческие модели на основе концептуальных графов распределенных сетей Петри для определения системной и функциональной архитектур распределенных вычислительных систем с переменной структурой, предоставляемой пользователю по его требованию в качестве гибридного облачно-сетевого сервиса; данные модели отличаются возможностью оперативной реконфигурации и непосредственной исполнимостью. Предложена и формализована методика вложения концептуальных сетей Петри в архитектуру облачно-сетевых компьютерных систем типа NCaaSoD – сетевые (облачные) вычисления как сервис, организуемый по запросу пользователя. Предложены правила получения отношений связности между позициями и переходами сети Петри, размещаемыми на узлах физической компьютерной сети.
Background. The object of the research is the functional architecture of distributed computing systems with a variable (reconfigurable) structure characteristic of hybrid systems of cloud-network (grid) type. Despite the fact that Petri nets have long been studied both theoretically and practically, the methods of their interpretation continue to develop intensively. At present, the problem of embedding Petri nets in the architecture of distributed network applications used to implement global computing in modern mixed cloud, grid and cluster systems has not been sufficiently studied. It is shown that in modern studies, Petri nets are used mainly in the simulation of discrete systems and processes, and not as the basis for formalized specifications in the development of distributed applications. In this regard, the interpretation of Petri nets in applications to the functional architecture of distributed computing systems with a variable structure based on the network software of the intermediate class (middleware class) is relevant. The aim of the work was the integration of graphical representations of conceptual graphs, semantic networks, scenarios and Petri nets, which made it possible to create effective tools with graphical support for designing a functional architecture of distributed computing systems with a variable structure and, in particular, a cloudy architecture of the NCaaSoD type - Network Computing as a Service on Demand (network computing as a cloud service at the request of the user).
Materials and methods. The conceptual models of distributed processes that are a graphical interpretation of the first-order predicate calculus are used. Conceptual graphs for distributed Petri nets of mixed type have been proposed, which allow describing computation processes in global computational networks with a view to their subsequent implementation.
Results. Based on the integration of graphical representations of conceptual graphs, semantic networks, scenarios and Petri nets, conceptual representations of distributed reconfigurable Petri nets are proposed, allowing them to be directly integrated into the architecture of the computer network.
Results. New conceptual-behavioral models based on conceptual graphs of distributed Petri nets have been proposed to determine the system and functional architectures of distributed computing systems with a variable structure provided to the user as a hybrid cloud-based network service; these models are distinguished by the possibility of operational reconfiguration and immediate execution.
Conclusion. A method was proposed and formalized for embedding conceptual Petri nets into the architecture of cloud-networked computer systems such as NCaaSoD — network (cloud) computing as a service organized at the user's request. The rules for obtaining relations of connectivity between the positions and transitions of the Petri net, placed on the nodes of the physical computer network, are proposed.
The authors declare that there are no conflicts of interest present.