Formale Methoden zur Modellierung von Wissensrepräsentationen in Workflow Management Systemen

Literaturrecherche und Zusammenstellung

Dossier / Travail , 2019 , 45 Pages , Note: 1,0

Gestion d'entreprise - Sciences de l'information, gestion de l'information

Das Ziel dieser Hausarbeit ist die „Konspektion“ (Zusammenstellung) von formalen Methoden, die in der Literatur zur Modellierung von Wissensrepräsentationen für Workflows verwendet werden. Diese werden kurz aufgezeigt und die Unterschiede erklärt. Die Identifikation der formalen Methoden soll durch eine Literaturrecherche erfolgen.

Die Workflows sollen von Workflow Management Systemen in die Blockchain geschrieben und aus der Blockchain gelesen werden. Derzeit beschreiben Forschungsartikel zwar die Realisierung eines einzelnen Workflows in der Blockchain, jedoch nicht die Synthese zwischen Workflows und mehreren Workflow Management Systemen in der Blockchain.

In Bezug auf die Synthese ist in der Literatur keine geeignete „formale Methode“ zu finden. Im Rahmen der Masterthesis ist während der Konzeption jedoch eine geeignete formale Methode für die Modellierung notwendig (Problematik). Dies motiviert zu einer Beschäftigung mit formalen Methoden zur Beschreibung von Workflows in Workflow Management Systemen.

Inhaltsverzeichnis

Abkürzungsverzeichnis

Abbildungsverzeichnis

Tabellenverzeichnis

1 Einleitung
1.1 Motivation
1.2 Ziel
1.3 Methodik

2 Workflow Management Systeme
2.1 Workflow Reference Model (WfRM)
2.2 Wissensrepräsentation

3 Formale Methoden
3.1 Business Process Model and Notation (BPMN)
3.2 Unified Modeling Language (UML)
3.3 Erweiterte Ereignisgesteuerte Prozesskette (eEPK)
3.4 Endlicher Automat (EA)
3.5 Petri-Netz (PN)
3.6 XML Process Definition Language (XPDL)

4 Zusammenfassung und Ausblick

Literaturverzeichnis

• Note: 1,0
• Auteur: Daniel Krüger (Auteur)
• Année de publication: 2019
• Pages: 45
• N° de catalogue: V923162
• ISBN (ebook): 9783346246806
• ISBN (Livre): 9783346246813
• Langue: allemand
• mots-clé: Wissensrepräsentation Workflow Management System Petri-Netz Automat BPMN UML XPDL eEPK Blockchain