Application-oriented aspects of graphs and graph transformation
摘要截稿:
全文截稿: 2020-11-29
影响因子: 0.775
期刊难度:
CCF分类: B类
中科院JCR分区:
• 大类 : 计算机科学 - 3区
• 小类 : 计算机:软件工程 - 3区
Overview
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