Модель інформаційного об’єкта для електронної бібліотеки та її верифікація

Модель інформаційного об’єкта для електронної бібліотеки та її верифікація

Запропоновано підхід формальної верифікації UML 2.0 через відображення OWL-DL в UML 2.0. У результаті розроблено оригінальний метод до відображення OWL-DL в UML 2.0 через дескриптивну логіку. Забезпечено повноту відображення UML-OWL через стереотипи та мічені значення UML 2.0 на рівні М0, М1 метамод...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Проблеми програмування
Datum:2020
Hauptverfasser: Новицький, О.В., Резніченко, В.А.
Format: Artikel
Sprache:Ukrainian
Veröffentlicht: Інститут програмних систем НАН України 2020
Schlagworte:
Інформаційні системи
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/180449
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Модель інформаційного об’єкта для електронної бібліотеки та її верифікація / О.В. Новицький, В.А. Резніченко // Проблеми програмування. — 2020. — № 2-3. — С. 31-38. — Бібліогр.: 23 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-180449
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
spellingShingle Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
Новицький, О.В.,
Резніченко, В.А.
Інформаційні системи
title_short Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
title_full Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
title_fullStr Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
title_full_unstemmed Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
title_sort модель інформаційного об’єкта для електронної бібліотеки та її верифікація
author Новицький, О.В.,
Резніченко, В.А.
author_facet Новицький, О.В.,
Резніченко, В.А.
topic Інформаційні системи
topic_facet Інформаційні системи
publishDate 2020
language Ukrainian
container_title Проблеми програмування
publisher Інститут програмних систем НАН України
format Article
title_alt Модель информационного объекта для электронной библиотеки и ее верификация
Model of information object for digital library and its verification
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.
issn 1727-4907
url https://nasplib.isofts.kiev.ua/handle/123456789/180449
citation_txt Модель інформаційного об’єкта для електронної бібліотеки та її верифікація / О.В. Новицький, В.А. Резніченко // Проблеми програмування. — 2020. — № 2-3. — С. 31-38. — Бібліогр.: 23 назв. — укр.
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
first_indexed 2025-12-07T16:35:28Z
last_indexed 2025-12-07T16:35:28Z
_version_ 1850868056055611392

Ähnliche Einträge