określają ograniczenia usług i funkcji systemu

pokazują wewnętrzne działanie aplikacji

określają jak oprogramowanie ma się zachowywać w określonych sytuacjach

nie zależą od rodzaju tworzonego oprogramowania, spodziewanych jego użytkowników oraz rodzaju

stwierdzają, jakie usługi ma oferować system, jak ma reagować na określone dane wejściowe