Naturalmente sì, e tali definizioni devono essere quanto più possibile accurate, precise, prive di ambiguità. Si tratta di un lavoro da esperti, che normalmente viene affidato ad analisti con un solidissimo background logico-matematico, quindi abituati al rigore delle definizioni e attenti alle semantizzazioni.
In ambienti con requisiti meno stringenti, tali definizioni vengono quasi sempre semplicemente prese dalla letteratura esistente. Rimane il fatto che devono restare perfettamente leggibili e comprensibili dal committente, o quantomeno dai suoi analisti nelle realtà un po' più organizzate.