@PhdThesis{diss_mods_00012618,
  author = 	{Zedlitz, Jesper},
  title = 	{Konzeptuelle Modellierung mit UML und OWL -- Untersuchung der Gemeinsamkeiten und Unterschiede mit Hilfe von Modelltransformationen},
  year = 	{2013},
  publisher = 	{Christian-Albrechts-Universit{\"a}t zu Kiel},
  address = 	{Kiel},
  keywords = 	{UML; OWL; konzeptuelle Modellierung; Modelltransformation},
  abstract = 	{Heute wird f{\"u}r konzeptuelle Modellierung sowohl die Unified Modeling Language (UML) als auch auch die OWL 2 Web Ontology Language (OWL 2) verwendet. Beide Sprachen entstammen verschiedenen Technologier{\"a}umen und setzen unterschiedliche Schwerpunkte. In dieser Arbeit wird untersucht, ob und wie sich konzeptuelle Modelle, die in der einen Sprache geschrieben sind, in konzeptuelle Modelle, die in der anderen Sprache geschrieben sind, {\"u}berf{\"u}hren lassen. Dadurch w{\"u}rden f{\"u}r ein Modell Verfahren und Software-Werkzeuge beider Technologier{\"a}ume verf{\"u}gbar.

F{\"u}r die automatische Transformation wurde -- anders als bei bisherigen Arbeiten -- eine Herangehensweise gew{\"a}hlt, die von konkreter Syntax bzw. XML-Serialisierung abstrahiert und auf Ebene der Metamodelle von UML und OWL arbeitet. So l{\"a}sst sich unabh{\"a}ngig von einzelnen Beispielmodellen zeigen, welche Modellelemente transformiert werden k{\"o}nnen und welche nicht.

F{\"u}r eine Vielzahl von Modellierungskonzepten wird eine formale Beschreibung gegeben und untersucht, wie sich das jeweilige Konzept mit UML bzw. OWL repr{\"a}sentieren l{\"a}sst. In den F{\"a}llen, in denen die Semantiken der Repr{\"a}sentationen in beiden Sprachen hinreichend {\"a}hnlich sind, um -- unter Beibehaltung der Semantik -- eine Transformation durchf{\"u}hren zu k{\"o}nnen, werden die Transformationen ausf{\"u}hrlich sowohl als Freitext als auch formal in Form deklarativer QVT-R-Transformationsregeln beschrieben. Da sich diese Regeln nur auf Elemente der Metamodelle beziehen, sind die Transformationen unabh{\"a}ngig von einzelnen Modellen (Instanzen dieser Metamodelle).

Dadurch, dass die Transformationen in beide Richtungen vollst{\"a}ndig und formal in QVT-R aufgeschrieben vorliegen, lassen sich die {\"U}berlegungen nachvollziehen und bei Bedarf schnell an einzelnen Beispielen testen. In dieser vollst{\"a}ndigen und formalen Beschreibung unterscheidet sich diese Arbeit von anderen Arbeiten, die solche Beschreibungen nicht oder nur in Fragmenten enthalten.

W{\"a}hrend sich in UML beschriebene Datenmodelle bis auf wenige Einschr{\"a}nkungen (abstrakte Typen, bestimmte Arten der Generalisierung, Erweiterung durch Stereotypen) relativ gut mit Ontologien darstellen lassen, ist die Transformation allgemeiner OWL-Ontologien in UML-Datenmodelle nicht immer m{\"o}glich. So stellt z.B. die automatische Klassifizierung von Objekten eine Schwierigkeit dar. Aber selbst in diesen F{\"a}llen ist oft eine Transformation m{\"o}glich, wie bei Kardinalit{\"a}tsbeschr{\"a}nkungen, die innerhalb von Vererbungsbeziehungen auftreten. Ein Anwendungsbeispiel aus der Praxis der Deutschen Zentralbibliothek f{\"u}r Wirtschaftswissenschaften (ZBW) zeigt, wie gut sich die Transformationsregeln auf konkrete Modelle anwenden lassen und so ohne gro{\ss}e Verluste einen Wechsel von einem Technologieraum zum anderen m{\"o}glich machen.},
  url = 	{https://macau.uni-kiel.de/receive/diss_mods_00012618},
  file = 	{:https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/dissertation_derivate_00004940/diss_jzedlitz.pdf:PDF},
  language = 	{de}
}