Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
Запропоновано підхід формальної верифікації UML 2.0 через відображення OWL-DL в UML 2.0. У результаті розроблено оригінальний метод до відображення OWL-DL в UML 2.0 через дескриптивну логіку. Забезпечено повноту відображення UML-OWL через стереотипи та мічені значення UML 2.0 на рівні М0, М1 метамод...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2020 |
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2020
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/180449 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Модель інформаційного об’єкта для електронної бібліотеки та її верифікація / О.В. Новицький, В.А. Резніченко // Проблеми програмування. — 2020. — № 2-3. — С. 31-38. — Бібліогр.: 23 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862699385851215872 |
|---|---|
| author | Новицький, О.В., Резніченко, В.А. |
| author_facet | Новицький, О.В., Резніченко, В.А. |
| citation_txt | Модель інформаційного об’єкта для електронної бібліотеки та її верифікація / О.В. Новицький, В.А. Резніченко // Проблеми програмування. — 2020. — № 2-3. — С. 31-38. — Бібліогр.: 23 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Запропоновано підхід формальної верифікації UML 2.0 через відображення OWL-DL в UML 2.0. У результаті розроблено оригінальний метод до відображення OWL-DL в UML 2.0 через дескриптивну логіку. Забезпечено повноту відображення UML-OWL через стереотипи та мічені значення UML 2.0 на рівні М0, М1 метамоделі МОF. Запропоновано модель інформаційного об'єкта для семантичної електронної бібліотеки, яка побудована з використанням мови UML. Також здійснено перевірку запропонованої моделі шляхом відображення моделі UML в OWL з наступною валідацією побудованої онтології за допомогою різонерів.
Предложен подход формальной верификации UML 2.0 с использованием отражения OWL-DL в UML 2.0. В результате разработан оригинальный метод к отображению OWL-DL в UML 2.0 через дескриптивную логику. Обеспечена полнота отображения UML-OWL через стереотипы и меченые значение UML 2.0 на уровне М0, М1 метамодели МОF. Предложена модель информационного объекта для семантической электронной библиотеки, которая построена с использованием языка UML. Также осуществлена проверка предложенной модели путем отражения модели UML в OWL и последующей валидации построенной онтологии с помощью ризонеров.
An approach for formal verification of UML 2.0 using mapping OWL-DL in UML 2.0 is proposed. As a result, an original approach for mapping OWL-DL to UML 2.0 through description logic has been proposed. The completeness of the mapping of UML-OWL through stereotypes and labeled UML 2.0 values at the level of M0, M1 of the MOF metamodel is provided. A model of the information object (IO) for the semantic electronic library, which is described by using the UML language, is proposed. The proposed IO model was also verified by mapping it into OWL and then validating the constructed ontology by using risoners.
|
| first_indexed | 2025-12-07T16:35:28Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-180449 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T16:35:28Z |
| publishDate | 2020 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Новицький, О.В., Резніченко, В.А. 2021-09-29T14:58:06Z 2021-09-29T14:58:06Z 2020 Модель інформаційного об’єкта для електронної бібліотеки та її верифікація / О.В. Новицький, В.А. Резніченко // Проблеми програмування. — 2020. — № 2-3. — С. 31-38. — Бібліогр.: 23 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407/pp2020.02-03.031 https://nasplib.isofts.kiev.ua/handle/123456789/180449 004.94 Запропоновано підхід формальної верифікації UML 2.0 через відображення OWL-DL в UML 2.0. У результаті розроблено оригінальний метод до відображення OWL-DL в UML 2.0 через дескриптивну логіку. Забезпечено повноту відображення UML-OWL через стереотипи та мічені значення UML 2.0 на рівні М0, М1 метамоделі МОF. Запропоновано модель інформаційного об'єкта для семантичної електронної бібліотеки, яка побудована з використанням мови UML. Також здійснено перевірку запропонованої моделі шляхом відображення моделі UML в OWL з наступною валідацією побудованої онтології за допомогою різонерів. Предложен подход формальной верификации UML 2.0 с использованием отражения OWL-DL в UML 2.0. В результате разработан оригинальный метод к отображению OWL-DL в UML 2.0 через дескриптивную логику. Обеспечена полнота отображения UML-OWL через стереотипы и меченые значение UML 2.0 на уровне М0, М1 метамодели МОF. Предложена модель информационного объекта для семантической электронной библиотеки, которая построена с использованием языка UML. Также осуществлена проверка предложенной модели путем отражения модели UML в OWL и последующей валидации построенной онтологии с помощью ризонеров. An approach for formal verification of UML 2.0 using mapping OWL-DL in UML 2.0 is proposed. As a result, an original approach for mapping OWL-DL to UML 2.0 through description logic has been proposed. The completeness of the mapping of UML-OWL through stereotypes and labeled UML 2.0 values at the level of M0, M1 of the MOF metamodel is provided. A model of the information object (IO) for the semantic electronic library, which is described by using the UML language, is proposed. The proposed IO model was also verified by mapping it into OWL and then validating the constructed ontology by using risoners. uk Інститут програмних систем НАН України Проблеми програмування Інформаційні системи Модель інформаційного об’єкта для електронної бібліотеки та її верифікація Модель информационного объекта для электронной библиотеки и ее верификация Model of information object for digital library and its verification Article published earlier |
| spellingShingle | Модель інформаційного об’єкта для електронної бібліотеки та її верифікація Новицький, О.В., Резніченко, В.А. Інформаційні системи |
| title | Модель інформаційного об’єкта для електронної бібліотеки та її верифікація |
| title_alt | Модель информационного объекта для электронной библиотеки и ее верификация Model of information object for digital library and its verification |
| title_full | Модель інформаційного об’єкта для електронної бібліотеки та її верифікація |
| title_fullStr | Модель інформаційного об’єкта для електронної бібліотеки та її верифікація |
| title_full_unstemmed | Модель інформаційного об’єкта для електронної бібліотеки та її верифікація |
| title_short | Модель інформаційного об’єкта для електронної бібліотеки та її верифікація |
| title_sort | модель інформаційного об’єкта для електронної бібліотеки та її верифікація |
| topic | Інформаційні системи |
| topic_facet | Інформаційні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/180449 |
| work_keys_str_mv | AT novicʹkiiov modelʹínformacíinogoobêktadlâelektronnoíbíblíotekitaííverifíkacíâ AT rezníčenkova modelʹínformacíinogoobêktadlâelektronnoíbíblíotekitaííverifíkacíâ AT novicʹkiiov modelʹinformacionnogoobʺektadlâélektronnoibibliotekiieeverifikaciâ AT rezníčenkova modelʹinformacionnogoobʺektadlâélektronnoibibliotekiieeverifikaciâ AT novicʹkiiov modelofinformationobjectfordigitallibraryanditsverification AT rezníčenkova modelofinformationobjectfordigitallibraryanditsverification |