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

Studienarbeit aus dem Jahr 2019 im Fachbereich BWL - Informationswissenschaften, Informationsmanagement, Note: 1,0, , Sprache: Deutsch, Abstract: 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.