Analysis and Optimization of Visual Enterprise Models
Based on Graph and Model Transformation
Buch in deiner Nähe kaufen
Beschreibung
Sicherheit, Risikomanagement sowie Regelkonformität sind von wachsender Bedeutung im Bereich der Unternehmens-Modellierung. In einer Analyse von realen Szenarien im Bankenbereich wurde deutlich, dass heutige "Best Practices", die auf informellen Techniken basieren, nicht ausreichen und durch adäquate formale Techniken ersetzt werden sollten. Zu diesem Zweck schlagen wir die visuelle Modellierung von Unternehmen basierend auf algebraischer Graph- und Modelltransformation vor, wobei die beiden folgenden typischen Problemfelder betrachtet werden: (1) Verhaltensanalyse und Optimierung von visuellen betriebswirtschaftlichen Prozess-Modellen (2) Konformitätsanalyse zwischen betriebswirtschaftlichen Prozess- und Organisations-Modellen Das erste Problem wird mit Hilfe neuer Konzepte und Resultate bezüglich der Verhaltensanalyse von visuellen sprachen gelöst, insbesondere mit Hilfe der Analyse von Permutations-Äquivalenz von Graphtransformationen basierend auf Petrinetzen. Zur Behandlung des zweiten Problembereichs werden Modelltransformationen basierend auf Triple-Graphgrammatiken inklusive neuer Resultate für die Analyse und Optimierung vorgestellt, was eine automatisierte Unterstützung einer konsistenten Integration sowie Konformitätsüberprüfung zwischen den Modellen ermöglicht. Die neuen Resultate im Bereich der Graph- und Modelltransformation werden in dem allgemeinen Rahmenwerk der M-adhesiven Transformationssysteme entwickelt. Sie können somit für zahlreiche High-Level-Ersetzungssysteme instanziiert werden und demzufolge nicht nur im Bereich der Unternehmensmodellierung sondern auch in diversen anderen Anwendungsdomänen eingesetzt werden. Zudem bietet die neue Software AGT-M eine automatisierte Werkzeugunterstützung für die Simulation, Analyse und Optimierung in verschiedenen Fallstudien.
Autor*in
Frank Hermann
Themen in »Analysis and Optimization of Visual Enterprise Models«
Business Process Modelling Enterprise Modelling Graph Transformation Graph-Grammatik Graphersetzungssystem Konformitätsprüfung Model Transformation Modelltransformation Petri-Netz