автоматизовані інформаційні технології, автоматизированные информационные технологии
Рассматриваются элементы формального языка, позволяющего проинтерпретировать тексты нормативно-правовых документов, построить и проанализировать формально-логические модели системы требований. В качестве основы языка описания нормативных требований (языка регламентов) предлагается применить идеологию объектных языков, широко использующуюся в программировании. Процесс интерпретации текстов и построения модели требований рассматривается как совокупность двух подпроцессов: моделирование предметной области и моделирование системы требований. Результат моделирования — формальная система, позволяющая построить на своей основе информационно-поисковую систему с расширенными возможностями семантического поиска, моделировать изменения исходной системы требований, выявлять противоречия и оценивать последствия изменений документации. Рассмотрены основные элементы языка, приведены примеры использования.
