Entwicklung eines graphischen Modellierungs-Tools zu Spezifikation von Simulationsmodellen

Steudler, Daniel and König, Fabienne (2020) Entwicklung eines graphischen Modellierungs-Tools zu Spezifikation von Simulationsmodellen. Other thesis, OST Ostschweizer Fachhochschule.

[thumbnail of HS 2020 2021-SA-EP-Steudler-König-Entwicklung eines graphischen Modellierungs-Tools zu Spezifi.pdf] Text
HS 2020 2021-SA-EP-Steudler-König-Entwicklung eines graphischen Modellierungs-Tools zu Spezifi.pdf - Supplemental Material

Download (3MB)

Abstract

Ausgangslage:
Um bestehende oder neue Geschäftsprozesse zu analysieren, validieren und optimieren, wird häufig die Prozesssimulation genutzt. Hierbei wird das reale Modell zuerst modelliert und in einem zweiten Schritt simuliert. Derzeit wird das Modellierung nicht erschöpfend durch angepasste Werkzeuge unterstützt. Für die Verifikation ist jedoch ein formales Modell der Spezifikation erforderlich.

Ziel:
Es soll analysiert und evaluiert werden, ob bereits ein geeignetes Modellierungstool existiert, das man in einem weiteren Schritt um die benötigten Erweiterungen und eine Validierung ergänzen kann. Alternativ müsste geprüft werden, wie die Implementation eines eigenen Tools am besten zu realisieren ist. Wichtig ist hierbei, dass sich das Tool hauptsächlich an Leute richten soll, die weder grosse Erfahrungen in der Simulation, noch in der Informatik haben.

Ergebnis:
In einen ersten Schritt wurden die Elemente der grafischen Notationssprache SimBPMN, einer Sprache die auf der Business Process Model and Notification (BPMN) Sprache basiert, auf ihre Formalisierbarkeit und die Formalisierungsbedingungen geprüft. Diese wurde wo nötig erweitert und konkretisiert. Damit wurde gezeigt, dass sich die wichtigsten Elemente der SimBPMN formalisieren lassen. Anschliessend wurde die Machbarkeit der Implementation dieser erweiterten Simulationssprache durch die Umsetzung eines Prototypen aufgezeigt. Schlussendlich wurde gezeigt, dass sich das BPMN-JS Framework gut als Grundlage für die Implementation eines SimBPMN Tools eignet.

Item Type: Thesis (Other)
Subjects: Topics > Software > Testing and Simulation
Area of Application > Business oriented
Area of Application > Web based
Technologies > Programming Languages > Java Script
Technologies > Frameworks and Libraries
Divisions: Bachelor of Science FHO in Informatik > Student Research Project
Depositing User: OST Deposit User
Contributors:
Contribution
Name
Email
Thesis advisor
Rinkel, Andreas
UNSPECIFIED
Date Deposited: 19 Mar 2021 09:49
Last Modified: 06 Apr 2021 11:46
URI: https://eprints.ost.ch/id/eprint/933

Actions (login required)

View Item
View Item