دانلود کتاب تبدیل نمودار – پانزدهمین کنفرانس بین المللی، ICGT 2022

This volume contains the proceedings of ICGT 2022, the 15th International Conference on Graph Transformation, held during July 7–8, 2022, in Nantes, France. ICGT 2022 was affiliated with STAF (Software Technologies: Applications and Foundations), a federation of leading conferences on software technologies. ICGT 2022 took place under the auspices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Specification. The ICGT series aims at fostering exchange and the collaboration of researchers from different backgrounds working with graphs and graph transformation, either by contributing to their theoretical foundations or by applying established formalisms to classic or novel areas. The series not only serves as a well-established scientific publication outlet but also as a platform to boost inter- and intra-disciplinary research and to stimulate for new ideas. The use of graphs and graph-like structures as a formalism for specification and modeling 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 and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing, and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behavior, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modeling 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.