[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
SCIENCE OF COMPUTER PROGRAMMING Special Issue on
APPLICATION-ORIENTED ASPECTS OF GRAPH TRANSFORMATION
Important Dates:
-----------------------
* Deadline for Submissions: December 20, 2020:
* First Review Notification: March 31, 2021
Scope and Topics:
-----------------------
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.
This special issue focuses on application-oriented aspects of graphs and graph
transformation. Topics of interest include but are not limited to:
* 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
* Graph transformation languages and tool support
* Efficient algorithms (e.g. pattern matching, graph traversal, network
analysis)
* Applications and case studies in software engineering (e.g. software
architectures, refactoring, access control, and service-orientation)
* Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous,
and visual)
Guest Editors:
-----------------------
* Timo Kehrer, Humboldt-Universität zu Berlin (Germany),
[email protected] <mailto:[email protected]>
* Fabio Gadducci, University of Pisa (Italy), [email protected]
<mailto:[email protected]>
Paper Submission:
-----------------------
Manuscripts should be submitted through the Editorial Manager:
https://ees.elsevier.com/scico/default.asp
<https://ees.elsevier.com/scico/default.asp>
When submitting the manuscript for this special issue, please select "SI: ICGT
2020" as the article type.
Formatting of the manuscripts should adhere to Elsevier's article class:
https://ctan.org/tex-archive/macros/latex/contrib/elsarticle
<https://ctan.org/tex-archive/macros/latex/contrib/elsarticle>
Further information on the special issue is available online at
http://icgt2020.di.unipi.it/special-issue/
<http://icgt2020.di.unipi.it/special-issue/>
