Рассматривается обобщенная постановка задачи согласования требования и автоматизация ее решения компьютерной поддержкой анализа и сопоставления формальных моделей требований, оценки несоответствий и их ликвидации с ипользованием онтологий предметных областей и метамодельных описаний