Новицький О. В.
ORCID: https://orcid.org/0000-0002-9955-7882, Резніченко В. А.ORCID: https://orcid.org/0000-0002-4451-8931
(2020)
Модель інформаційного об’єкта для електронної бібліотеки та її верифікація.
Проблеми програмування. № 2-3.
С. 31–38.
ISSN 1727-4907.
395-966-1-SM.pdf
Завантажити (1MB) | Preview
Анотація
Запропоновано підхід формальної верифікації UML 2.0 через відображення OWL-DL в UML 2.0. У результаті розроблено оригінальний метод до відображення OWL-DL в UML 2.0 через дескриптивну логіку. Забезпечено повноту відображення UMLOWL через стереотипи та мічені значення UML 2.0 на рівні М0, М1 метамоделі МОF. Запропоновано модель інформаційного об'єкта для семантичної електронної бібліотеки, яка побудована з використанням мови UML. Також здійснено перевірку запропонованої моделі шляхом відображення моделі UML в OWL з наступною валідацією побудованої онтології за допомогою різонерів.
| Тип ресурсу: | Стаття |
|---|---|
| Ключові слова: | електронна бібліотека, семантична електронна бібліотека, зв’язані дані, інформаційний об’єкт, відображення UMLOWL, дескриптивна логіка, різонер |
| Класифікатор: | Q Наука > Q Наука (Загальне) Q Наука > QA Математика > QA75 Електронні комп'ютери. Інформатика Q Наука > QA Математика > QA76 Комп'ютерне програмне забезпечення |
| Відділи: | Фізико-математичний факультет > Кафедра комп’ютерних наук та інформаційних технологій |
| Користувач: | Олександр Вадимович Новицький |
| Дата подачі: | 23 Черв 2023 17:48 |
| Оновлення: | 20 Вер 2026 23:42 |
| URI: | https://eprints.zu.edu.ua/id/eprint/37483 |
| ДСТУ 8302:2015: | Новицький О. В., Резніченко В. А. Модель інформаційного об’єкта для електронної бібліотеки та її верифікація. Проблеми програмування. 2020. № 2-3. С. 31–38. |
Дії (потрібно ввійти)
- Оглянути опис ресурсу