Процес вилучення цільової типи інформації на основі результатів моделювання процесу. Це відрізняється від статичного аналізу, яка витягує інформацію з елементами моделі в їх статичні формі.