Информатика, вычислительная техника ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ УДК 004.94 Ю. И. Евсеева АЛГОРИТМ ВЕРИФИКАЦИИ СТРУКТУРЫ ТРЕХМЕРНОГО АДАПТИВНОГО ПРИЛОЖЕНИЯ Аннотация. <...> Однако так как такая система подразумевает работу с неопытным пользователем, необходимо введение методов верификации составленных им алгоритмических решений. <...> Для решения поставленной задачи был применен математический аппарат теории графов, в частности гиперграфовое представление структуры ТРАП. <...> Разработанный алгоритм является модификацией алгоритма полного обхода ориентированного гиперграфа. <...> Формализованы основные процедуры работы с частичными конфигурациями – добавление и удаление произвольных вершин, завершение частичной конфигурации и преобразование ее в полноценную путем добавления недостающих вершин из головных множеств гиперребер. <...> Разработанный алгоритм также позволяет эффективно обрабатывать последовательность конфигураций. <...> Применение алгоритма позволяет находить и исправлять ошибки, допускаемые непрофессиональным пользователем при проектировании трехмерной адаптивной программы. <...> Разработанный алгоритм позволяет не только обнаружить неточности, допущенные пользователем в ходе проектирования логической структуры, но и внести в некорректную конфигурацию соответствующие исправления. <...> Ключевые слова: трехмерное адаптивное приложение, ориентированный гиперграф, проектирование программного обеспечения, моделирование изменчивости, итерационный алгоритм верификации. <...> Все это обусловливает актуальность вопроса о создании автоматизированной системы синтеза трехмерных адаптивных приложений (ТРАП), предполагающую построение программ такого класса неопытным пользователем в максимально короткие сроки. <...> Структура ТРАП и математическая модель ТРАП Для наглядного представления логической структуры ТРАП предлагается использование методов моделирования изменчивости (variability <...>