Un model al unui sistem de software care descrie cerinţele sale funcţionale, în ceea ce priveşte cazurile de utilizare.