Strukturbasierte Verifikation von BPMN-Modellen [electronic resource] /
Müller, Jens.author.
Geschäftsprozesse müssen üblicherweise Anforderungen der betriebswirtschaftlichen Ebene erfüllen, die bei der Geschäftsprozessmodellierung von den resultierenden Modellen korrekt abgebildet werden müssen. Jens Müller untersucht Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur Geschäftsprozessmodellierung bieten keine Möglichkeit, betriebswirtschaftliche Anforderungen der untersuchten Kategorie explizit zu repräsentieren und automatisch auszuwerten. Dadurch erhöht sich das Risiko der Verletzung von Anforderungen mit deren zunehmender Anzahl. Zur Lösung der beschriebenen Probleme stellt der Autor neuartige Konzepte vor, die es ermöglichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Geschäftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren. Die Anwendung dieser Konzepte wird anhand eines Szenarios aus der Luftfahrtindustrie demonstriert.
Description based upon print version of record.
Danksagung; Inhaltsverzeichnis; Abbildungsverzeichnis; Listings; Zusammenfassung; 1. Einleitung; 1.1. Problemstellung; 1.2. Lösungsansatz und Szenario; 1.3. Aufbau der Arbeit; 2. Grundlagen; 2.1. Modellgetriebene Softwareentwicklung; 2.1.1. Metamodellierung; 2.2. Geschäftsprozessmanagement; 2.2.1. Geschäftsprozess-, Workflowund Business-Process-Management; 2.2.2. Geschäftsprozessund Workflow-Modellierung; 2.2.3. Business Process Modeling Notation; 2.2.3.1. Modellierungskonstrukte; 2.3. Methoden wissensbasierter Systeme; 2.3.1. Wissensbasierte Systeme und Expertensysteme
2.3.2. Formen der Inferenz2.3.3. Logikbasierte Wissensrepräsentation; 2.3.3.1. Semantisches Web; 2.3.3.2. Resource Description Framework und Web Ontology Language; 2.3.3.3. Reasoner und Abfragesprachen; 2.3.4. Regelbasierte Systeme; 3. Szenario: Modellierung und Adaption von Geschäftsprozessmodellen im Rahmen der Flugzeugwartung; 3.1. Organisation und Ablauf der Flugzeugwartung am Beispiel eines mittelgroßen luftfahrttechnischen Betriebs; 3.2. Teile zweifelhafter Herkunft; 3.3. RFID-basierte Authentifikation von Flugzeugteilen; 3.4. Szenariobeschreibung
3.4.1. Modellierung von Prozessmodellen im Rahmen der Flugzeugwartung3.4.2. Adaption von Prozessmodellen im Rahmen der Flugzeugwartung; 3.5. Probleme durch Verletzung von Anforderungen bei der Modellierung und Adaption; 3.6. Anforderungen an eine Softwarelösung zur Erkennung von Problemen bei der Modellierung und Adaption; 4. Semantische Geschäftsprozessmodellierung auf Basis von BPMN und MOF; 4.1. Vergleich zwischen (Meta-) Modellen und Ontologien; 4.1.1. Gemeinsamkeiten; 4.1.2. Unterschiede; 4.2. Repräsentation von Ontologien auf Basis von MOF; 4.2.1. Ontology Definition Metamodel
4.2.2. Zugriff auf OWL-Ontologien im Process Composer4.3. Interne Repräsentation semantischer Anreicherungen; 4.4. Implementierung; 4.4.1. OWLund ExtendedBPMN-Metamodell; 4.4.2. Graphisches Modellierungswerkzeug für OWL-Ontologien; 4.4.3. Modifikation des Modellierungswerkzeugs; 4.5. Stand der Wissenschaft und Technik; 5. Modellierung von Anforderungen an BPMN-Modelle; 5.1. Methode zur Modellierung von Anforderungen; 5.1.1. Modellierung struktureller Muster; 5.1.2. Modellierung von Bedingungsausdrücken; 5.2. Process Pattern Modeling Language; 5.2.1. Generische Tasks
5.2.2. Generische Ereignisse5.2.3. Generische Gateways; 5.2.4. Divergierender exklusiver Gateway; 5.2.5. Verbindungsobjekte; 5.2.5.1. Sequenzflüsse; 5.2.5.2. Bedingte Sequenzflüsse; 5.2.5.3. Flexible Sequenzflüsse; 5.2.6. Einund ausgehende Musterkonnektoren; 5.2.7. Musterreferenz; 5.3. Process Constraint Modelling Language; 5.3.1. Existenzielle Bedingungen; 5.3.2. Temporale Bedingungen; 5.3.3. Logische Operatoren; 5.4. Implementierung; 5.4.1. Pattern Composer; 5.4.2. Constraint Composer; 5.4.3. Verknüpfung von BPMN-Modellen mit Bedingungsausdrücken; 5.5. Stand der Wissenschaft und Technik
6. Suche nach Instanzen struktureller Muster in BPMN-Modellen
Includes bibliographical references.
Geschäftsprozesse müssen üblicherweise Anforderungen der betriebswirtschaftlichen Ebene erfüllen, die bei der Geschäftsprozessmodellierung von den resultierenden Modellen korrekt abgebildet werden müssen. Jens Müller untersucht Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur Geschäftsprozessmodellierung bieten keine Möglichkeit, betriebswirtschaftliche Anforderungen der untersuchten Kategorie explizit zu repräsentieren und automatisch auszuwerten. Dadurch erhöht sich das Risiko der Verletzung von Anforderungen mit deren zunehmender Anzahl. Zur Lösung der beschriebenen Probleme stellt der Autor neuartige Konzepte vor, die es ermöglichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Geschäftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren. Die Anwendung dieser Konzepte wird anhand eines Szenarios aus der Luftfahrtindustrie demonstriert.
Information technology.
Business—Data processing.
Computer science.
IT in Business.
Computer Science, general.