Аннотация:
Работа посвящена адаптации концепции непротиворечивости и управления транзакциями систем управления базами данных (СУБД) в применении к динамической реконфигурации облачных вычислительных сред (ОВС). Даны определения операций и процедур реконфигурации ОВС. Их отличительная особенность — перевод сети из одного корректного состояние в другое корректное состояние. Представлены аномалии, встречающиеся при работе СУБД, и трактовка их аналогов при процедурах реконфигурации ОВС. Также приведена теорема непротиворечивости для процессов динамической реконфигурации ОВС.