Ett semantiskt stängda abstraktion av ett system eller en fullständig beskrivning av ett system ur ett visst perspektiv. Exempel inkluderar användning fall, arkitektur och domän modeller och kod.