Спроможність і допустимість — це не одне й те саме.
Фреймворк розділяє структуру конфігурації Φ(cfg), її паспортну межу S̄(cfg) і поточну живучість S(t). Коректне рішення супервізора виникає лише з урахуванням усіх трьох.
Структура, межа, поточний станРозгорнути розділ
Структура, межа, поточний стан
У моделі є три різні величини: Φ(cfg) показує, які функції структурно присутні; S̄(cfg) показує, яку межу живучості ця конфігурація може мати в ідеалі; S(t) показує поточний результат тут і тепер.
Без цього розділення супервізор плутає «функція структурно існує» з «функція реально забезпечується в потрібній якості».
Не кожна наявна конфігурація коректнаРозгорнути розділ
Не кожна наявна конфігурація коректна
Ресурсно допустима конфігурація не може використовувати відмовлений ресурс. Функціонально допустима конфігурація не може оголошувати активною функцію, для якої не вистачає ресурсного покриття.
Adm_F(cfg): активна функція має достатнє покриття W
Рішення працює над уже обмеженою множиноюРозгорнути розділ
Рішення працює над уже обмеженою множиною
DecisionEngine не ранжує весь каталог без винятку. Він працює лише на множині конфігурацій, що пройшли перевірку допустимості, а далі обирає альтернативу за живучістю, критичністю або іншими критеріями.