WHAT IT IS ALL ABOUT

Contact: reiko@mcs.le.ac.uk

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 modelling 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.

Topics of interest include, but are not limited to, the following.

On the more theoretical side:

  • General models of graph transformation
  • Node-, edge-, and hyperedge replacement graph grammars
  • Parallelism, concurrency, distribution
  • Term graph rewriting
  • Network computing
  • High-level and adhesive replacement systems
  • Hierarchical graphs and decompositions of graphs
  • Logic expression of graph transformation properties
  • Graph theoretical properties of graph languages
  • Geometrical and topological aspects of graph transformation
  • Automata on graphs and parsing of graph languages
  • Analysis and verification of graph transformation systems
  • Structuring and modularisation concepts
  • Semantics of graph transformation-based languages
  • Semantics of UML and other visual modelling techniques

On the more applied side:

  • Implementation of programming languages
  • Massively parallel computing
  • Bioinformatics and system biology
  • Bio-computing and DNA-computing
  • Software architecture
  • Mobile systems design
  • Model transformation
  • Model based software development
  • Development of meta CASE tools
  • Visual languages and environments
  • Graph tool development
  • Graph based models of computations
  • Petri nets
  • Rule- and knowledge-based systems
  • Pattern generation and picture processing
  • Layout algorithms
  • Software quality and testing
  • Security
  • Graph and graph transformation exchange