Рассмотрены таксономические модели профилирования требований информационно-управляющих систем критического применения, позволяющих представить вербальные нефункциональные требования стандартов и спецификаций в виде, необходимом для их последующей формальной обработки, получения профилей требований и последующей оценки их выполнения. Дано формальное определение таксономических моделей. Выделены критерии классификации таксономических моделей. Представлена классификация их элементов. Определены сценарии профилирования требований. Ключевые слова: ИУС, профилирование требований, таксономическая модель, формальное представление естественного языка.
