Creating and validating UML class diagrams with the use of domain ontologies expressed in OWL 2 - Lower Silesian Digital Library

Skip to main menu
Skip to search engine
Skip to content
Skip to footer

Creating and validating UML class diagrams with the use of domain ontologies expressed in OWL 2

Download

Description
Information

Title: Creating and validating UML class diagrams with the use of domain ontologies expressed in OWL 2

Title in english:

Tworzenie i walidacja diagramów klas UML z wykorzystaniem ontologii dziedzinowych w OWL 2

Creator:

Sadowska, Małgorzata

Contributor:

Huzar, Zbigniew. Promotor

Abstrakt:

Modele biznesowe mają na celu przedstawienie złożonej rzeczywistości biznesowej w sposób uproszczony. Służą wsparciu komunikacji pomiędzy udziałowcami systemu, a tym samym dostarczają ważnych informacji wymaganych do utworzenia oprogramowania i odgrywają kluczową rolę w jego dalszym rozwoju. Istotnym elementem modeli biznesowych są diagramy klas UML, które są przedmiotem niniejszej rozprawy. Diagramy klas UML służą do przedstawiania ważnych pojęć w konkretnym obszarze dziedzinowym. Ontologia stanowi reprezentację wybranej dziedziny wiedzy, na którą składa się zapis pojęć i relacji między nimi. Ontologie są coraz częściej wykorzystywane do wspierania modelowania w procesie tworzenia oprogramowania, m.in. w fazie modelowania biznesowego. Korzystanie z ontologii pozwala na tworzenie modeli biznesowych bez konieczności posiadania wiedzy specjalistycznej lub wsparcia ekspertów dziedzinowych. W rozprawie są wykorzystywane ontologie dziedzinowe wyrażone w języku OWL 2, ponieważ obecnie istnieje bardzo wiele już utworzonych ontologii w tym języku i ta liczba stale rośnie. Przedmiotem rozprawy doktorskiej jest proces tworzenia diagramów klas UML z wykorzystaniem ontologii dziedzinowych w OWL 2 oraz ich późniejszej walidacji względem tych ontologii. W pracy postawiono tezę, iż zastosowanie ontologii dziedzinowych sprzyja szybszemu tworzeniu modeli biznesowych i podnosi ich jakość semantyczną. Celem pracy jest zaproponowanie metod tworzenia oraz walidacji diagramów klas UML w oparciu o ontologie dziedzinowe, wyrażone w języku OWL 2, a także implementacja metod w narzędziu. Zaproponowano dwie metody tworzenia diagramów klas: bezpośrednią i rozszerzoną. Opracowanie tych metod wymagało między innymi zdefiniowania reguł transformacji między elementami diagramów klas UML, a konstrukcjami OWL 2. Reguły te zostały opracowane w oparciu o systematyczny przegląd literatury, a także rozszerzone o nowe autorskie propozycje. Metoda bezpośredniego wydobycia elementów UML wykorzystuje jedynie zdefiniowane reguły transformacji. Natomiast metoda rozszerzonego wydobycia elementów UML, mająca zastosowanie w przypadku niekompletnych ontologii, umożliwia na wydobycie również takich elementów UML, które nie są w pełni zdefiniowane w ontologii. Podejście rozszerzone jest oryginalną propozycją autorki i uzasadnione praktycznymi potrzebami w zakresie modelowania oraz postacią rzeczywistych ontologii. Proces walidacji ma za zadanie jednoznacznie stwierdzić, czy otrzymane diagramy klas UML są zgodne ze wskazanymi ontologiami dziedzinowymi, które służą jako baza wiedzy. Walidacja diagramu składa się z dwóch etapów: weryfikacji formalnej, która jest przeprowadzana automatycznie w proponowanym narzędziu, oraz opcjonalnie, akceptacji wyników przez osobę modelującą, która finalnie decyduje o wyniku walidacji. Proces wykorzystuje zaproponowane przez autorkę reguły weryfikacji, służące do sprawdzania, czy tworzony diagram klas UML jest zgodny ze wskazaną ontologią dziedzinową. W pracy zaproponowano również automatycznie generowane sugestie korekt diagramów klas UML. Metody tworzenia i walidacji diagramów klas na podstawie ontologii zaimplementowano jako rozszerzenie programu Visual Paradigm. Implementacja bazuje na oryginalnym przekształcaniu ontologii OWL 2 nazwanym normalizacją. Znormalizowane ontologie mają zunifikowaną strukturę aksjomatów, dzięki czemu łatwiej je porównywać w sposób algorytmiczny. Narzędzie zostało sprawdzone przypadkami testowymi oraz poddane ocenie empirycznej poprzez eksperyment ze studentami Politechniki Wrocławskiej. Przeprowadzone badania potwierdziły praktyczny potencjał i użyteczność proponowanych metod, a tym samym udowodniły postawioną tezę, iż zastosowanie ontologii dziedzinowych sprzyja szybszemu tworzeniu modeli biznesowych i podnosi ich jakość semantyczną.

Publisher:

Politechnika Wrocławska

Place of publication:

Date:

Resource Type:

rozprawa doktorska

Resource Identifier:

oai:dbc.wroc.pl:91086

Language:

Relation:

Politechnika Wrocławska. Wydział Informatyki i Zarządzania

Rights:

Wszystkie prawa zastrzeżone (Copyright)

Access Rights:

Dla wszystkich w zakresie dozwolonego użytku

Rights Owner:

Własność autora

Location:

Politechnika Wrocławska

Subject and keywords:

diagramy klas UML OWL 2 ontologie UML class diagrams ontologies

Object collections:

Last modified:

Mar 3, 2021

In our library since:

Dec 9, 2020

Number of object content hits:

49

All available object's versions:

https://www.dbc.wroc.pl/publication/149482

Show description in RDF format:

Show description in OAI-PMH format:

Edition name	Date
Creating and validating UML class diagrams with the use of domain ontologies expressed in OWL 2	Mar 3, 2021

Similar

Informatyka Ekonomiczna = Business Informatics

Informatyka Ekonomiczna = Business Informatics

Ontologia − próba usystematyzowania pojęć

Grzelak, Wojciech

2013

artykuł

Informatyka Ekonomiczna = Business Informatics

Informatyka Ekonomiczna = Business Informatics

The construction of a corporate dictionary for the needs of the dynamic business process management

Stępniak, Cezary

2018

artykuł

Pest, Przemysław. Redakcja Winsław, Mateusz. Redakcja

2020

książka

Integracja danych środowiskowych i planistycznych z wykorzystaniem metadanych i ontologii w procesie wdrażania INSPIRE

Kaczmarek, Iwona Sasik, Józef (1948- ). Promotor

2014

rozprawa doktorska

Nauki o Zarządzaniu = Management Sciences

Nauki o Zarządzaniu = Management Sciences

Mechanizmy ewolucji metod zarządzania jako ontologiczna podstawa badań

Ćwiklicki, Marek

2011

artykuł

Informatyka Ekonomiczna = Business Informatics

Informatyka Ekonomiczna = Business Informatics

Analiza metodyk budowy ontologii zasobów internetowych

Wątróbski, Jarosław Ziemba, Paweł

2015

artykuł

e-Informatica Software Engineering Journal

e-Informatica Software Engineering Journal

An Approach to Assessing the Quality of Business Process Models Expressed in BPMN

Sadowska, Małgorzata Huzar, Zbigniew. Redakcja Madeyski, Lech. Redakcja

2015

artykuł

Komputerowe przetwarzanie wiedzy

Komputerowe przetwarzanie wiedzy

Komputerowe przetwarzanie wiedzy. Kolekcja prac 2011/2012 pod redakcją Tomasza Kubika

Kubik, Tomasz. Redakcja

2012

książka

More

Citation style:

Chicago ISO690 APA IEEE Harvard

Contact details

Address

Wrocław University of Science and Technology (Coordinator)
Library of Wrocław University of Science and Technology
Wybrzeże Wyspiańskiego 27
50-370 Wrocław, Poland

Phone

(+48) 71-320-38-30
(+48) 71-320-47-50

E-Mail

Visit us!

http://biblioteka.pwr.edu.pl/

This page uses 'cookies'. More information