Статья посвящена разработке системы автоматизированного управления доступа к данным пользователей корпоративных информационных систем. Цель статьи - повышение достоверности работы системы автоматизированного управления доступа к данным. Для достижения поставленной цели в работе предложено решать задачу верификации на непротиворечивость правил доступа к данным через их представление в виде OCL-ограничений. Это позволило использовать открытый программный пакет DresdenOCL, проверяющий корректность выражений, и пакет UMLtoCSP, обнаруживающий конфликты между OCL-ограничениями правил. Ключевые слова: корпоративные информационные системы (КИС), база данных (БД), OCL(Object Constraint Language), UML(Unifed Model Language), XMI (XML Metadata Interchange), MOF (Meta-Object Facility).
