TU Berlin

Theor. Informatik / Formale SpezifikationGraph Transformation and Visual Modelling

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Graph Transformation and Visual Modelling


Graphical structures of various kinds (like graphs, diagrams, visual sentences and others) are very useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension allowing for the modelling of the evolution of systems via any kind of transformation of such graphical structures. The field of Graph Transformation is concerned with the theory, applications and implementation issues of all these formalisms.
The theory is strongly related to areas such as graph theory and graph algorithms, formal language and parsing theory, theory of concurrency and distributed systems, formal specification and verification, logic and semantics. The application areas include all those fields of Computer Science, Information Processing, Engineering and Natural Sciences where static and dynamic modeling by graphical structures and graph transformations, respectively, play an important role. In many of these areas tools based on graph transformation technology have been implemented and used.

Related Research Projects



Schnellnavigation zur Seite über Nummerneingabe