Transformation einer EPK in eine formalisierte Methode

Dieser Beitrag untersucht die Transformation einer Ereignisgesteuerten Prozesskette in diverse formalisierte Modellierungsmethoden. Die hierfür gewählten formalen Methoden sind Business Process Model and Notation, Unified Modeling Language, Subjektorientiertes Business Process Management und Petrinetze. Das Ziel dieser Arbeit ist es, die Vor- und Nachteile der Methoden zu definieren und eine geeignete Methode für sowohl Modellierung als auch Automatisierung von Geschäftsprozessen zu finden. Zunächst werden theoretische Grundlagen der Geschäftsprozessmodellierung dargestellt. Des Weiteren wird auf die gesonderten Charakteristika der vorgestellten Methoden eingegangen. Ein besonderer Fokus liegt hier auf dem Thema Syntax und Semantik der Methoden. Nachfolgend werden die Ergebnisse der Transformation sowie die Vorteile und Nachteile der gewählten Methoden kritisch betrachtet. Als Grundlage für den Vergleich wurde das Beispiel eines Bewerbungsverfahrens als Ereignisgesteuerte Prozesskette entwickelt

Ein auf Petri-Netzen basierendes Geschäftsprozessmodell und dessen Anwendung im E-Commerce

Der Gedanke der prozessorientierten Sicht reicht viele Jahrzente zurück, hat sich aber erst in jüngerer Zeit unter dem Gesichtspunkt von Kunden- und Resultatausrichtung, Qualitätssicherung, Supply Chain Management, Effizienzsteigerung und damit Wettbewerbsfähigkeit durchgesetzt. Der Wechsel von einer Aufbau- hin zu einer Prozessorganisation erfolgt initial im Entwurf und in der Umsetzung des neuen Prozessmodells. Anschliessend ist es Aufgabe der Führung, diese Prozesse laufend zu überwachen und zu steuern. Dabei stellt sich zum einen die Frage nach dem geeigneten Modell und zum anderen die nach der geeigneten Modellsprache. Die vorliegende Arbeit unterzieht zwei in der Praxis häufig anzutreffende Prozessmodelle sowie die mathematisch begründeten, formalen Petri-Netze einer Beurteilung aus Sicht der Wirtschaftsinformatik. Danach folgt ein Vorschlag, welcher auf den Petri-Netzen beruht, aber im Gegensatz zu diesen besser an die Bedürfnisse der Geschäftsprozessmodellierung angepasst ist, was in der anschliessenden Beurteilung gezeigt wird. Die meisten Geschäftsprozesse erfahren heutzutage eine informationstechnische Unterstützung, deren Realisierung nicht zuletzt aufgrund unterschiedlicher Modelle auf seiten Betrieb und auf seiten Informatik mit hohem Aufwand verbunden ist. Am Beispiel eines in einem Webshop ablaufenden Bestellprozesses wird gezeigt, wie mit dem vorgestellten Modellansatz sowohl die fachliche Sicht wie die technische Sicht im selben Modell abgebildet werden kann und so Potential für kürzere Entwicklungswege geschaffen werden kann

Referenzprozessmodellierung: Methoden, Konzepte und Transformationen

Historisch gewachsene Strukturen und Abläufe stellen Unternehmen vor neuen Herausforderungen. Diese bestehen im erhöhten Wettbewerbsdruck, kürzer werdenden Produktlebenszyklen und neuen Arbeitsmethoden. Innerhalb dieses Umfelds ist es notwendig, die vorhandenen Geschäftsprozesse stets zu verbessern und den neuen Anforderungen anzupassen. Um die Anpassungsvorgänge zu beschleunigen haben sich Referenzmodelle bewährt. Referenzmodelle oder Referenzinformationsmodelle stellen durch ihre Allgemeingültigkeit vordefinierte und bewährte Abläufe dar, an der sich Unternehmen ihre spezifischen Modelle ableiten können. Die vorliegende Arbeit versucht zuerst ein Überblick über die vorhandenen Methoden und Konzepte innerhalb der Referenzprozessmodellierung zu geben. Dabei werden auch vorhandene Referenzmodelle aufgelistet und ihre Einsatzgebiete aufgezeigt. Ein weiterer Bereich, welches diese Arbeit umfasst, ist die Transformation von vorhandenen Referenzmodellen. Die Transformation erfolgt von ereignisgesteuerten Prozessketten nach Business Process Model and Notation (BPMN) 2.0. Diese Arbeit wird die Durchführbarkeit der Transformation nach BPMN 2.0 aufzeigen und die gesammelten Erkenntnisse wiedergeben

Systematische Analyse des aktuellen Forschungsstandes von Prozessmodellen im Kontext der Industrie 4.0

Die Schlagwörter Smart Factory, Cloud-Computing sowie Internet-of-Things sind in den ver-gangenen Jahren in den Fokus von Wirtschaft und Politik gerückt. Sie stehen für einen ver-meintlichen Paradigmenwandel, der sogenannten vierten industriellen Revolution, die im deutschsprachigen Raum unter dem Konzept der „Industrie 4.0“ bekannt ist. Die vorliegende Masterarbeit gibt einen umfassenden Überblick über die aktuellen Verständ-nisse von Prozessmodellen und deren mögliche Anwendungen im Zusammenhang mit den Themen dieser vierten industriellen Revolution. Ziel der Arbeit ist es, mit Hilfe einer systema-tischen Analyse der aktuellen Fachliteratur verschiedene Prozessmodellierungsansätze im Kontext der Industrie 4.0 zu identifizieren und zu präsentieren. In diesem Zusammenhang wird eine Untersuchung über den zeitlichen Verlauf von Publikationen, über die unterschiedlichen Themenschwerpunkte der wissenschaftlichen Untersuchungen und der Relevanz für die je-weiligen Forschungsgebiete durchgeführt. Vor dem Hintergrund der Industrie 4.0 sollen die Untersuchungsergebnisse momentane An-wendungsgebiete der Prozessmodellierung in Unternehmen und Forschungsbemühungen der Wissenschaft aufzeigen, sowie weitere potenzielle Applikationen und offene Fragen untersu-chen

Modellierung und Verifikation von verteilten/parallelen Informationssystemen

Petri nets are used in many fields as modelling technique. The different usage areas and modelling objectives require different classes of Petri nets. Powerful high level Petri nets and especially coloured Petri nets are well suited for describing behavior of distributed information systems in order to verify and analyse them. Extended coloured Petri nets with structured marks are presented in this work. An example is used in order to demonstrate the analysis and verification steps. This example algorithm is modeled with extended coloured Petri nets (HCPN-ST). It is transformed into coloured Petri nets, in order to simulate, analyse and verify the method with existing software tools. The model is simulated and analysed with PENECA Chromos tool, although it cannot verify all properties, but it allows to interoperate with INA tool. The remainder of the analysis and verification is done in the INA tool. The above mentioned steps are extended and integrated into the complete analysis process and the verification methodology. Finally, the need and motivation for the extension of dynamic approaches modelling for the analysis of distributed information system is elaborated to accomplish the goal of the work. We succeed to validate, that the extended formal method is an effective method to model and analyse distributed information systems.Petrinetze werden in vielen Bereichen als Modellierungstechnik verwendet. Die verschiedenen Einsatzgebiete und Modellierungsziele erfordern mittel unterschiedliche Typen von Petrinetzen. Die höheren Petrinetze eignen sich gut zur Formalisierung des Verhaltens verteilter Informationssysteme zum Zweck der Verifikation und Analyse. Eine Klasse erweiterter gefärbte Petrinetze (HCPN-ST) mit strukturierten Marken wird in dieser Arbeit vorgestellt und am Beispiel erläutert. An diesem konkreten Modell wird die Analyse und Verifikation demonstriert. Das Beispiel-Algorithmenmodell wird in ein CPN transformiert. Der Algorithmus der Transformation wird vorgestellt. Diese Transformation wird durchgeführt, um die erweiterte Methode mit Software -Tools zu analysieren und verifizieren. Mit Peneca Chromos wird das Modell editiert und simuliert und einige Eigenschaften werden analysiert. Die weitere Analyse und Verifikation erfolgt mit dem Tool INA. Es folgt die Erweiterung und Integration in den gesamten Analyseprozess und die Verifikationsmethodik. Abschließend wird die Notwendigkeit und Motivation zur Erweiterung von dynamischen Modellierungsansätzen für die Analyse von verteilten Informationssystemen behandelt und damit die Zielstellung der Arbeit erreicht