Ontológico: nossas percepções do mundo real são materializadas em conceitos que descrevem a realidade. Ex.: Que classes de entidades são necessárias para descrever o problema que estamos estudando?
Formal: modelos lógicos ou matemáticas que generalizam os conceitos do universo ontológico. Ex.: Quais são as abstrações formais necessárias para representar os conceitos de nosso universo ontológico?
Estrutural: entidades dos modelos formais são mapeadas para estruturas de dados geométricas, alfanuméricas e algoritmo. Ex.: Quais são os tipos de dados e algoritmos necessários para representar os modelos e as álgebras do universo formal?
Implementação: implementação dos sistemas (arquiteturas, linguagens e paradigmas de programação).