Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Блажко А. А. Обнаружение конфликтов в правилах доступа к реляционным базам данных с использованием языка UML и OCL / А. А. Блажко, Е. В. Ляшенко, Ибаа Сауд // Радіоелектронні і комп’ютерні системи. - 2012. - № 5. - С. 178–183. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_5_34 Разработаны системы автоматизированного управления доступа к данным пользователей корпоративных информационных систем. Цель работы - повышение достоверности работы системы автоматизированного управления доступа к данным. Для достижения поставленной цели предложено решать задачу верификации на непротиворечивость правил доступа к данным через их представление в виде OCL-ограничений. Это позволило использовать открытый программный пакет DresdenOCL, проверяющий корректность выражений, и пакет UMLtoCSP, обнаруживающий конфликты между OCL-ограничениями правил. Цитованість авторів публікації: Бібліографічний опис для цитування: Блажко А. А. Обнаружение конфликтов в правилах доступа к реляционным базам данных с использованием языка UML и OCL / А. А. Блажко, Е. В. Ляшенко, Ибаа Сауд // Радіоелектронні і комп’ютерні системи. - 2012. - № 5. - С. 178–183. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_5_34. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |