Special Issue Call for Papers:

Scope:

The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights.

Topics of interest include application-oriented aspects of graphs and graph transformation, such as:

Analysis and verification of graph transformation systems

Automata on graphs and parsing of graph languages

Structuring and modularization of graph transformation

Hierarchical graphs and decomposition of graphs

Parallel, concurrent, and distributed graph transformation

Term graph and string diagram rewriting

Petri nets and other models of concurrency

Business process models and notations

Graph databases and graph queries

Model-driven development and model transformation

Model checking, program analysis and verification, simulation and animation

Syntax, semantics and implementation of programming languages, including domain-specific and visual languages