Analysis and Optimization of Visual Enterprise Models Based on Graph and Model Transformation

Hermann, Frank

Analysis and Optimization of Visual Enterprise Models Based on Graph and Model Transformation

dc.contributor.advisor	Ehrig, Hartmut	en
dc.contributor.author	Hermann, Frank	en
dc.contributor.grantor	Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik	en
dc.date.accepted	2011-02-10
dc.date.accessioned	2015-11-20T20:29:05Z
dc.date.available	2011-06-10T12:00:00Z
dc.date.issued	2011-06-10
dc.date.submitted	2011-06-10
dc.description.abstract	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.	de
dc.description.abstract	Security, risk and compliance are increasingly important issues in enterprise modelling. An analysis of real world scenarios for banking has shown that today's best practices'' based on informal techniques are insufficient and should be replaced by adequate formal approaches. For this purpose, visual enterprise models based on algebraic graph and model transformation are proposed in this thesis, where the following two typical problem areas are considered: (1) Behaviour Analysis and Optimization of Visual Enterprise Process Models (2) Conformance Analysis of Enterprise Process and Service Models The first problem is solved by new concepts and results concerning behaviour analysis of visual languages, especially analysis of permutation equivalence of graph transformations based on Petri nets. In order to tackle the second problem area, model transformations based on triple graph grammars are introduced with new results concerning analysis and optimization enabling automated support for sound integration and conformance checks between different models. The new results in the area of graph and model transformation are developed in the general framework of M-adhesive transformation systems. They can be instantiated to a large variety of high-level replacement systems and applied not only to enterprise modelling, but also to several other application domains. Last but not least, the new tool AGT-M provides automated tool support for simulation, analysis and optimization in various case studies.	en
dc.identifier.isbn	978-3-7983-2322-3
dc.identifier.uri	urn:nbn:de:kobv:83-opus-30082
dc.identifier.uri	https://depositonce.tu-berlin.de/handle/11303/3153
dc.identifier.uri	http://dx.doi.org/10.14279/depositonce-2856
dc.language	English	en
dc.language.iso	en	en
dc.publisher.name	Universitätsverlag der TU Berlin	en
dc.publisher.place	Berlin	en
dc.rights.uri	http://rightsstatements.org/vocab/InC/1.0/	en
dc.subject.ddc	004 Datenverarbeitung; Informatik	en
dc.subject.other	Geschäftsprozess	de
dc.subject.other	Graphtransformation	de
dc.subject.other	Modelltransformation	de
dc.subject.other	Visuelle Unternehmensmodellierung	de
dc.subject.other	Business Processes	en
dc.subject.other	Graph Transformation	en
dc.subject.other	Model Transformation	en
dc.subject.other	Visual enterprise modelling	en
dc.title	Analysis and Optimization of Visual Enterprise Models Based on Graph and Model Transformation	en
dc.title.translated	Analyse und Optimierung von visuellen Unternehmensmodellen basierend auf Graph- and Modelltransformation	de
dc.type	Doctoral Thesis	en
dc.type.version	publishedVersion	en
tub.accessrights.dnb	free	*
tub.affiliation	Fak. 4 Elektrotechnik und Informatik::Inst. Softwaretechnik und Theoretische Informatik	de
tub.affiliation.faculty	Fak. 4 Elektrotechnik und Informatik	de
tub.affiliation.institute	Inst. Softwaretechnik und Theoretische Informatik	de
tub.identifier.opus3	3008
tub.identifier.opus4	2917
tub.publisher.universityorinstitution	Universitätsverlag der TU Berlin	en