Es bringt einen neuen Formalismus zur Spezifikation von zeitkonsumierenden Graphtransformationen mit sich.
It comes with a new formalism for the specification of durative graph transformations.
Die Modellierungsrichtlinien können auf einem hohen Abstraktionsniveau mit Hilfe von Graphtransformationen spezifiziert werden.
Modeling guidelines can be specified on a very high level of abstraction by means of graph transformations.
Motiviert durch die unterschiedlichen Anforderungen zweier grundverschiedener Anwendungsbeispiele, wurden in dieser Arbeit zwei Verfahren zur Planung mit Graphtransformationen entwickelt.
Motivated by different requirements arising from two fundamentally different application examples, two approaches for graph transformation planning have been developed in this thesis.
Im Mittelpunkt unserer Arbeiten über Graphtransformationen steht der sogenannte Doppelpushout-Ansatz, bei dem eine Produktion durch zwei Morphismen bestimmt wird, die an einem gemeinsamen Interface-Graphen ansetzen.
The focus of our research on graph transformation is the so-called double-pushout approach in which a production is given by two morphisms starting at a common interface graph.
Graphtransformationen erlauben dynamische Veränderungen derartiger Darstellungen und somit die Beschreibung der Entwicklung von Strukturen.
Graph transformations allow dynamically changing such representations, and therefore, they can describe the development of structures.
Sie berücksichtigt sowohl die Struktur des Graphen als auch die anwendbaren Graphtransformationen, was eine deutliche Verbesserung gegenüber verwandten Arbeiten darstellt.
Taking both the structure of graphs and applicable graph transformations into account, this is a considerable improvement over related work.
Graphgrammatiken und Graphtransformationen kombinieren Ideen aus den Bereichen Graphentheorie, Algebra, Logik und Kategorientheorie, um Veränderungen an Graphen formal zu beschreiben.
Graph grammars and graph transformations combine ideas from the fields of graph theory, algebra, logic, and category theory, to formally describe changes in graphs.
Ein anderer wichtiger Aspekt der Graphtransformationen muss geprüft werden: ihre Korrektheit, um Typfehler bei der Ausführung der Transformationen zu unterdrücken.
Another fundamental aspect of graph transformations must be ensured: their correctness in order to prevent type errors while executing the transformations.
Unsere Arbeiten zu den Graphtransformationen basieren auf Konzepten der Kategorientheorie.
Our work on graph transformation is based on notions borrowed from category theory.
Wir nutzen Graphtransformationen weiter zur Spefizikation der Semantik von Modellen, um bei der Verifikation von Modelltransformationen mit einem einzigen formalen Modell arbeiten zu können.
We further use graph transformation to specify the model semantics such that we can work with a single formal model for the verification of model transformations.
Eine manuelle Überprüfung der Graphtransformationen würde den Vorteil der automatisierten Richtliniensanalyse und der generischen und reflektiven Features zunichte machen.
Checking and testing the graph transformations manually would ruin the benefit obtained by the automation of the guideline checking and by the generic and reflective features.
Die Visualisierbarkeit einzelner Überdeckungsanforderungen ist der grafischen Programmierung bei Graphtransformationen besonders nahe, so dass u. a. die Konstruktion sinnvoller Tests erleichtert wird.
The visual nature of the occurring coverage items is close to the graphical type of programming used in graph transformations which eases the construction of sensible test cases.
Die generischen und reflektiven Features haben zum Ziel die Verbesserung der Wiederverwendung und Ausdrucksfähigkeit von SDM, während die Ableitungsregeln (oder Inferenzregeln) des Typsystems die Typsicherheit der Graphtransformationen gewährleisten.
The generic and reflective features aim at improving the reusability and expressiveness of SDM, whereas the type checking rules will ensure the type-safety of graph transformations.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Graphtransformationen in het Duits
