Поляк В. Е. Формализованный язык описания нормативных требований (язык регламентов) / В. Е. Поляк, А. И. Безруков, Е. П. Семин // Информационные технологии. – 2004. – № 7. – С.48–55
Складова документа:
Информационные технологии : научно-технический и научно-производственный журнал. № 7 / Изд-во "Новые технологии" // Информационные технологии. – Москва : Новые технологии, 2004
Анотація:
Рассматриваются элементы формального языка, позволяющего проинтерпретировать тексты нормативно-правовых документов, построить и проанализировать формально-логические модели системы требований. В качестве основы языка описания нормативных требований (языка регламентов) предлагается применить идеологию объектных языков, широко использующуюся в программировании. Процесс интерпретации текстов и построения модели требований рассматривается как совокупность двух подпроцессов: моделирование предметной области и моделирование системы требований. Результат моделирования — формальная система, позволяющая построить на своей основе информационно-поисковую систему с расширенными возможностями семантического поиска, моделировать изменения исходной системы требований, выявлять противоречия и оценивать последствия изменений документации. Рассмотрены основные элементы языка, приведены примеры использования.