Logo des Repositoriums
 

Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten

Kurzanzeige
dc.contributor.authorBergenthum, Robin
dc.contributor.authorKovář, Jakub
dc.contributor.authorLueg, Nico
dc.contributor.editorGiese, Holger
dc.contributor.editorRosenthal
dc.contributor.editorKristina
dc.date.accessioned2024-03-12T05:30:26Z
dc.date.available2024-03-12T05:30:26Z
dc.date.issued2024
dc.description.abstractPetrinetze haben eine formale Semantik und eine einfache graphische Repräsentation. Mit Petrinetzen können wir Abhängigkeiten und Nebenläufigkeiten zwischen Aufgaben innerhalb von realen Systemen problemadäquat modellieren. Trotzdem ist das Modellieren verteilter Systeme eine schwierige und fehleranfällige Aufgabe. Das Blindenhund-Werkzeug ist ein Prototyp, der einen Ansatz für die Autokorrektur von Petrinetzen implementiert. Um ein Petrinetz zu reparieren, benötigen wir neben dem Modell eine Spezifikation des gewünschten Verhaltens. Das Blindenhund-Werkzeug kann die gewünschte Sprache in Form eines Event Logs oder als Spezifikation aus halbgeordneteten Beispielabläufen importieren. Modellieren wir gegen solch eine Spezifikation und ist das Modell nicht in der Lage die Spezifikation auszuführen, bekommen wir durch unser Blindenhund-Werkzeug einen Hinweis auf den Fehler und eine Liste von möglichen Reparaturvorschlägen. Damit kann das Blindenhund-Werkzeug Petrinetze reparieren, angehenden Modellierern die Semantik der Petrinetze interaktiv näherbringen und dabei verschiedene Reparaturvorschläge bewerten. Das Blindenhund-Werkzeug und einen zugehörigen Screencast gibt es auf der Internetseite www.fernuni-hagen.de/ilovepetrinets/guidedog.de
dc.identifier.doi10.18420/modellierung2024-ws-022
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/43773
dc.language.isode
dc.pubPlaceBonn
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofModellierung 2024 Satellite Events
dc.subjectPetrinetze
dc.subjectAutokorrektur
dc.subjectModel Repair
dc.subjectEvent Log
dc.subjectBeispielabläufe
dc.titleDas Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdatende
dc.typeText/Conference Paper
gi.conference.date12. - 15. März
gi.conference.locationPotsdam
gi.conference.sessiontitleTools & Demos

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
22_Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten.pdf
Größe:
298.83 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

Modellierung 2024 - Workshopband