Transformation und Analyse von parallelen Datenbankprozessen

Bachelorarbeit (abgeschlossen 2024)

Erstbetreuer: Prof. Dr. Malte Lochau

Zweitbetreuer: M. Sc. Tobias Schüler

Beschreibung

Hintergrund: Wir befinden uns im Raum von Prozessen. Hierbei handelt es sich um Reaktive Systeme. Also Systeme, welche auf Eingaben warten und sich entsprechend bestimmter Vorgaben verhalten. Hierbei kann es sich um komplexe Prozesse wie zum Beispiel Computerprogramme handeln oder um ganz einfache Prozesse, welche beispielsweise den Alltag eines Menschen beschreiben können. Es gibt unterschiedliche Methoden diese Prozesse darzustellen. In dieser Arbeit findet zum einen die standardisierte Modellierungssprache BPMN, welche Prozesse in Form von Diagrammen darstellen lässt, Relevanz. Zum anderen nutzen wir ACP. ACP ist eine Prozessalgebra und wird genutzt, um Prozesse in Form von Formeln darzustellen.

Ziel: Das Ziel dieser Arbeit ist es ein Diagramm aus BPMN auszulesen und dieses nach ACP zu überführen.Wir wollen also ein Mapping erstellen. Außerdem soll ein Prozess mit einer relationalen Datenbank verbunden werden. Während dem Ausführen des Prozesses soll es dann ermöglicht werden diese Datenbank zu manipulieren.

Methode: Um das Ziel zu erreichen wollen wir zunächst für die in BPMN enthaltenen Elemente sinnvolle Äquivalente in ACP finden. Dann soll ein Programm entwickelt werden, welches unter Beachtung dieser Voraussetzungen das BPMNDiagramm in eine sinnvolle und möglichst übersichtliche Formel in ACP umwandelt. Die Datenbankanweisungen sollen in dem Diagramm in Form von Kommentaren enthalten sein. Diese werden nachdem das Mapping durchgeführt wurde ausgeführt.

Ergebnis: Am Ende der Arbeit erhalten wir ein umfangreiches Programm, welches die Ziele der Arbeit ausreichend erfüllt. Außerdem bietet es die Möglichkeit die Prozesse auszuführen und dadurch die im Prozess enthaltene Datenbank zu Manipulieren.

Schlussfolgerung: BPMN lässt sich sehr gut auf ACP mappen. Dieses Mapping ermöglicht es dem Prozess mit einer Datenbank zu kommunizieren. Für alle Grundlegenden Elemente von BPMN lassen sich Möglichkeiten finden, diese nach ACP zu übertragen.

⇐ Zurück zur Übersicht der Abschlussarbeiten