Auflistung nach Autor:in "Bergenthum, Robin"
1 - 4 von 4
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragDas Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten(Modellierung 2024 Satellite Events, 2024) Bergenthum, Robin; Kovář, Jakub; Lueg, NicoPetrinetze 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.
- KonferenzbeitragLearnflow Mining(DeLFI 2008: Die 6. e-Learning Fachtagung Informatik, 2008) Bergenthum, Robin; Desel, Jörg; Harrer, Andreas; Mauser, SebastianDieser Artikel überträgt Konzepte und Methoden aus dem Gebiet der Ge- schäftsprozessmodellierung und des Workflow Management auf Lehrund Lernprozesse (Learnflows). Dabei werden Gemeinsamkeiten der Gebiete und Spezifika von Lernprozessen herausgearbeitet und eine Methode zur Synthese von Lernprozessmodellen aus realen Lernabläufen vorgeschlagen, die sich auf bestehende Verfahren des Workflow Minings abstützt. An Beispielen wird das Verfahren erläutert. Schließlich werden Folgerungen für die Entwicklung von Werkzeugen zur Erstellung von Lernprozessen durch Dozenten abgeleitet.
- KonferenzbeitragMessage from the Modellierung’24 Tools & Demos Chairs(Modellierung 2024 Satellite Events, 2024) Bergenthum, Robin; Köpke, JuliusMessage from the Modellierung’24 Tools & Demos Chairs
- KonferenzbeitragWorkflow nets with roles(Enterprise modelling and information systems architectures (EMISA 2011), 2011) Bergenthum, Robin; Desel, Jörg; Mauser, SebastianWe formalize the usual static role concept for workflow nets, introduce dynamic roles and define soundness as well as a second correctness criterion, called consistency, for workflow nets with roles. We study the relation between the notions of consistency and soundness of workflow nets with and without roles. In particular, we show that a sound workflow net extended by consistent roles is again sound.