Advertisement

Introductory Tutorial on Foundations and Applications of Graph Transformation

  • Reiko Heckel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4178)

Abstract

This tutorial is intended as a general introduction to graph transformation for scientists who are not familiar with the field. The tutorial will start with an informal introduction to the basic concepts like graph, rule, transformation, etc., discussing semantic choices like which notion of graph to use; how to put labels, attributes, or types; or what to do with dangling links during rewriting, etc., and mentioning different ways to formalise the basic concepts.

In the second part, the tutorial will give a survey of typical applications of graph transformation in software engineering, e.g., as a specification language and semantic model for concurrent and distributed systems, as a meta language for defining the syntax, semantics, and manipulation of diagrams, etc.

Finally, the tutorial will go into some details about the algebraic approach to graph transformation, its formal foundations and relevant theory and tools. This shall enable the participants to better appreciate the conference and its satellite events.

References

  1. 1.
    Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 402–429. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167–180. IEEE, Los Alamitos (1973)CrossRefGoogle Scholar
  3. 3.
    Heckel, R.: Graph transformation in a nutshell. In: Heckel, R. (ed.) Proceedings of the School on Foundations of Visual Modelling Techniques (FoVMT 2004) of the SegraVis Research Training Network. Electronic Notes in TCS, vol. 148, pp. 187–198. Elsevier, Amsterdam (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Reiko Heckel
    • 1
  1. 1.University of LeicesterUK

Personalised recommendations