Een semantisch gesloten abstractie van een systeem of een volledige beschrijving van een systeem van een bepaald perspectief. Voorbeelden zijn gebruik geval, architectuur en domein modellen en code.