INFDok - Dokumentenvolltextserver des Fachbereichs Informatik

Kurzfassung auf Deutsch:

Petrinetze sind eine Gruppe von grafischen Modellierungssprachen für die Beschreibung und Verifikation von nebenläufigen Prozessen und dynamischen Systemen. Mit Hilfe von Petrinetzen lassen sich sowohl Berechnungsprozesse, Geschäftsprozesse, biologische als auch logistische Prozesse modellieren. RENEW (Reference-Net-Workshop) ist ein Werkzeug zum Erstellen, Verifizieren und Simulieren von Petrinetzen. Es wird seit 25 Jahren als Java-Projekt entwickelt und umfasst inzwischen einen großen Funktionsumfang, der sich auch mittels Plugin-System stetig erweitern lässt. RENEW bietet sowohl eine grafische Benutzeroberfläche zum Zeichnen von Netzen als auch eine Simulation-Engine zur Simulation und Verifikation der gezeichneten Modelle. Inzwischen umfasst RENEW neben der Verarbeitung von Petrinetzen auch das Zeichnen und Simulieren von endlichen Automaten, Agent-Interaktion-Protokollen und einigen weiteren Formalismen. Anwender:innen sind es von modernen Grafikprogrammen gewohnt, sowohl an ihrem Desktop-Computer als auch unterwegs an ihrem Smart-Device arbeiten zu können. Außerdem gehört ein kollaborativer Arbeitsprozess heutzutage für viele Anwendungen zur erwarteten Funktionalität. LATEX-Dokumente können in Overleaf von mehreren Anwenderinnen und Anwendern gemeinsam erstellt werden. In Figma können mehrere Designer gemeinsam an einem Grafikentwurf arbeiten. Die grafische Benutzeroberfläche von RENEW hingegen stammt im Kern aber noch aus dessen Entstehungszeit. RENEW bietet keine Möglichkeit zum kollaborativen Arbeiten und lässt sich auch nicht auf mobilen Geräten verwenden. In vergangenen Projekten wurde schon auf verschiedene Weise versucht, die Benutzeroberfläche von RENEW zu überarbeiten und beispielsweise das kollaborative Bearbeiten von Petrinetz-Dokumenten zu ermöglichen. Allerdings war keiner dieser Versuche erfolgreich genug, um sich in dem Funktionsumfang von Renew zu etablieren. Eine Hürde bei der Überarbeitung der RENEW Benutzeroberfläche ist es, dass diese auf Java basiert und stark mit anderen Komponenten von RENEW verbunden ist. Inhalt dieser Arbeit ist die Entwicklung eines Prototyps eines webbasierten Editors mit grafischer Benutzeroberfläche zum kollaborativen Bearbeiten und Simulieren von RENEW Dokumenten. Der Editor soll sich sowohl auf Desktop- (Windows, Mac, Linux) als auch auf Mobilgeräten (Android, iOS) verwenden lassen. Der Editor wird als eigenständige Anwendung unabhängig von Renew entwickelt, um nicht von der durch Renew gegebenen Softwarearchitektur eingeschränkt zu sein. Allerdings wird der Entwicklungsprozess durch die von RENEW gegebenen Rahmenbedingungen geleitet, um eine einfache Interaktion zwischen dem neuen Editor und der bewährten RENEW Simulation- und Verifikation-Engine zu gewährleisten. Ziel der Arbeit ist es, sowohl einen funktionsfähigen Editor zu entwickeln, der in der Praxis sinnvoll eingesetzt werden kann, als auch die Erkundung von Ideen zur Verbesserung der Softwarearchitektur der RENEW eigenen Benutzeroberfläche.