Формализованные требования в рамках дискреционной модели