Супервизор выполняет обработку полученных заданий, подготовку входных данных для решателей, сбор и отправку в ЦХД СОМТИ результатов вычислений. В связи с этим он состоит из следующих модулей: обработчика задач, планировщика, интерпретатора конфигураций, менеджера локальной памяти (см. рис.1).
Основной цикл работы СППР СОМТИ состоит в последовательном выполнении заданий, поступающих от подсистемы управления СОМТИ.
Каждое задание содержит описание некоторой задачи, известной СППР. (Задача считается известной СППР, если ее описание представлено в онтологии задач.) Задание поступает на вход адаптера СППР, который проверяет описанную в нем задачу на соответствие онтологии задач, преобразует ее в формат, понятный супервизору, и передает ему на дальнейшую обработку.
Обработчик задач, являющийся частью супервизора, анализирует поступившее описание задачи, представляет его в формате, заданном онтологией задач, и передает планировщику.
Планировщик для каждой поступившей на его вход задачи порождает исполняемую конфигурацию реализующих ее модулей. При этом он обращается к онтологии задач, чтобы узнать имя реализующего обрабатываемую задачу модуля принятия решений (в общем случае — группы модулей). Затем планировщик извлекает из репозитария модулей описание этого модуля и помещает в конфигурацию модулей.
Работа интерпретатора конфигураций состоит в выборе из конфигурации модулей описания очередного модуля, загрузке необходимых для его работы данных из ЦХД (через адаптер СППР) в локальную память (ЛП), вызове соответствующего решателя c одновременной передачей ему данных из ЛП и выбранного модуля, выгрузке результатов работы модуля в локальную память и передаче их в ЦХД. При этом обмен данными решателей с ЛП осуществляется через адаптеры (Semp-адаптер или GLPK-адаптер).
После отработки очередного модуля супервизор осуществляет мониторинг ЛП и при обнаружении в ней объектов класса Задача формирует задание из этих задач и вызывает планировщик. (Необходимо сказать, что любой модуль поддержки принятия решений может «породить» новую задачу, которая представляется экземпляром класса Задача онтологии задач.).
После окончания работы планировщика, который может дополнить конфигурацию новыми описаниями модулей, вызывается интерпретатор конфигураций, который продолжает работу уже над модифицированной конфигурацией модулей.
После того как все задачи, поступившие на вход супервизора, а также все задачи, порожденные первыми, решены, супервизор прекращает свою работу и переходит в состояние ожидания новых задач.
