Procesul de extragere tipuri specifice de informaţii cu privire la modelele din forma lor statice. Aceasta diferă de analiză dinamică, care extrage informaţii pe baza rezultatelor procesului de simulări.