Graph Transformation, Specifications, and Nets

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.- Integration of graph constraints into graph grammars.- Multi-view Consistency in UML.- A Simple Notion of Parallel Graph Transformation and its Perspectives.- A Tutorial on Graph Transformation.- Initial Conflicts and Dependencies: Critical Pairs Revisited.- Towards a Navigational Logic for Graphical Structures.- Model Transformations as Free Constructions.- The Verigraph Tool for Graph Transformation.- Decomposition Structures for Soft Constraint Evaluation Problems: an Algebraic Approach.- Overview of Recon gurable Petri Nets.- The Category "Undirected Graph".- Modular Termination of Graph Transformation.- Graph Attribution through Sub-Graphs.- On normal forms for structured speci cations with generating constraints.- Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.- Graph Operations and Free Graph Algebras.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia do software
• Compiladores
• Gráficos de programação
• Programação de computadores / desenvolvimento de software
• Algoritmos e estruturas de dados

Models of computation;Concurrency;Abstract data types;Specification languages;Graph Transformation;Graph Grammars;Petri nets;Algebraic Specification;Category Theory;Model-driven software engineering;Formal verification;graph theory;semantics;petri nets;programming language;graph transformation;software engineering;specifications;artificial intelligence;algorithm analysis and problem complexity