Design of Grid Services for Running Virtual Machines as Computing Task Based on Transition Systems
Loading...
Date
2017
Authors
Kryvyi, S.
Boyko, YU.
Pogorilyy, S.
Boretskyi, O.
Glibovets, M.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Proposed to apply method of grid system design on grid services for running virtual machines as regular computing task. The resulting global transition system is translated into a Petri net (PN). With the help of the PN is checked correctness of design, in particular the absence of deadlocks, dead transitions etc.
Предлагается применить метод проектирования для грид-службы для запуска виртуальных машин в качестве обычной вычислительной задачи. Полученная глобальная транзиционная система переведена в сеть Петри (СП). С помощью СП проверяется правильность конструкции, в частности отсутствие взаимоблокировок, мертвых переходов и т. д.
Предлагается применить метод проектирования для грид-службы для запуска виртуальных машин в качестве обычной вычислительной задачи. Полученная глобальная транзиционная система переведена в сеть Петри (СП). С помощью СП проверяется правильность конструкции, в частности отсутствие взаимоблокировок, мертвых переходов и т. д.
Description
Keywords
grid, grid service, virtual machine, transition systems, Petri network, Diophantine equation, thesis, грид, грид-служба, виртуальная машина, транзационная система, сеть Петри, Диофантовое уравнение
Citation
Design of Grid Services for Running Virtual Machines as Computing Task Based on Transition Systems / S. L. Kryvyi, Yu. V. Boyko, ... M. M. Glibovets [et al.] // Proceedings of IAM. - 2017. - Vol. 6, No. 1. - P. 54-73. - Autors: S. L. Kryvyi, Yu. V. Boyko, S. D. Pogorilyy, O. F. Boretskyi, M. M. Glibovets