В работе рассмотрены формализованные модели и методы анализа диалоговых систем (ДС). Анализ информационных требований пользователей в ДС базируется на использовании совокупности взаимосвязанных матричных и графовых моделей, списывающих локальные сценарии диалога пользователя с ДС и позволяющих получить обобщенный сценарий диалога всей системы.
Оценка характеристик сценариев диалога осуществляется с использованием методов анализа ГЕРТ-сетей.