Scope of the Conference
Graphs are among the simplest and most universal models for a variety of systems, not just in computer science, but throughout engineering and the life sciences.
When systems evolve we are interested in the way they change, to predict, support, or react to their evolution.
Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution.
The area is concerned with both the theory of graph transformation and their application to a variety of domains.
The conference aims at bringing together researchers and practitioners interested in the foundations and applications of graph transformation to a variety of areas.
Topics of interest include, but are not limited to:
- foundations and theory of
- General models of graph transformation
- High-level and adhesive replacement systems
- Node-, edge-, and hyperedge replacement grammars
- Parallel, concurrent, and distributed graph transformations
- Term graph rewriting
- 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 modularization concepts for transformation systems
- Graph transformation and Petri nets
- application to, languages and tool support for
- Software architecture
- Workflow and business processes
- Software quality and testing
- Software evolution
- Access control and security models
- Aspect-oriented development
- Model-driven development, especially model transformations
- Domain-specific languages
- Implementation of programming languages
- Bioinformatics and system biology
- Natural computing
- Image generation and pattern recognition techniques
- Massively parallel computing
- Self-adaptive systems and ubiquitous computing
- Service-oriented applications and semantic web
- Rule- and knowledge-based systems