Abstract

In dieser Arbeit wird ein Konzept zur regelbasierten Modellverifikation mit Hilfe einer Graphdatenbank am Beispiel von Neo4j und dessen Abfragesprache Cypher vorgestellt. Es wird ein Ansatz vorgestellt, der es erlaubt, mit Hilfe einer Graphenabfragesprache Verifikationsregeln zu definieren, um Transformationsfehler innerhalb eines gegebenen Domänenmodells zu erkennen. Der Ansatz wird anhand eines laufenden Beispiels vorgestellt, das seine Fähigkeit zeigt, zufällig erzeugte Fehler in einem Transformationsprozess zu erkennen. Zusätzlich wird die Leistung der Methode anhand mehrerer Teilmengen der IMDb-Filmdaten mit maximal 17.000.000 Knoten und 41.000.000 Beziehungen evaluiert. Diese Leistungsbewertung wird im Vergleich zur Object Constraint Language durchgeführt und zeigt Vorteile im Zusammenhang mit stark vernetzten Datensätzen mit einer hohen Anzahl von Knoten. Ein weiterer Vorteil ist die Nutzung einer etablierten Graphdatenbank als Verifikationswerkzeug, ohne dass eine Neuimplementierung der Graph- und Pattern-Matching-Logik erforderlich ist.
OriginalspracheEnglisch
DOIs
PublikationsstatusVeröffentlicht - Sep. 2022
VeranstaltungEuropean Modeling & Simulation Symposium 2022 - Rom, Italien
Dauer: 19 Sep. 202221 Sep. 2022
Konferenznummer: 34
https://www.msc-les.org/emss2022/

Konferenz

KonferenzEuropean Modeling & Simulation Symposium 2022
KurztitelEMSS
Land/GebietItalien
OrtRom
Zeitraum19.09.202221.09.2022
Internetadresse

Fingerprint

Untersuchen Sie die Forschungsthemen von „Model Verification in Graph Databases and its Application in Neo4j“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren