Сидорова Елена Анатольевна, Гаранина Наталья Олеговна, Кононенко Ирина Семеновн, Боровикова Олеся Игнатьевна

Институт систем информатики им. А.П. Ершова СО РАН

В работе рассматриваются особенности жанра технической
документации с точки зрения извлечения необходимой содержательной
информации для анализа корректности спецификаций, поставленных перед
разработчиками задач. Отличительной особенностью предлагаемого подхода
является использование онтологии как связующего звена между текстом и
формальной верификацией. Объекты и процессы, описываемые в тексте,
определяются набором онтологий: онтологией требований, онтологией процессов
и распределенных систем и онтологией объекта управления. Онтология объекта
управления определяется в рамках семантического словаря и включает понятия,
описывающие специализированные объекты и характеристики, используемые в
конкретной системе управления.

семантический анализ текста, извлечение информации, спецификация требований, онтология требований, онтология процессов, онтология автоматизированных систем управления