Handbook of graph grammars and computing by graph transformation: volume I. foundations
TLDR
The double-pushout approach to graph transformation, which was invented in the early 1970's, is introduced in the Handbook of Graph Grammars and Computing by Graph.Abstract:
A graph program consists of declarations of conditional graph transformation rules G. Rozenberg, editors: Handbook of Graph Grammars and Computing. We introduce s-graph grammars, a new grammar formalism for computing Handbook of Graph Grammars and Computing by Graph Transformation, pp. The double-pushout approach to graph transformation, which was invented in the early 1970's, is Handbook of Graph Grammars and Computing by Graph.read more
Citations
More filters
Journal ArticleDOI
Upper bounds to the clique width of graphs
Bruno Courcelle,Stephan Olariu +1 more
TL;DR: Clique width is bound in terms of its tree width on the one hand, and of the clique width of its edge complement on the other, to reduce the complexity measure of graphs associated with hierarchical decompositions.
Proceedings ArticleDOI
Graphs-at-a-time: query language and access methods for graph databases
Huahai He,Ambuj K. Singh +1 more
TL;DR: A graph algebra extended from the relational algebra in which the selection operator is generalized to graph pattern matching and a composition operator is introduced for rewriting matched graphs is presented and access methods of the selectionoperator are investigated.
Book ChapterDOI
USIXML: a language supporting multi-path development of user interfaces
TL;DR: Model-to-model transformation as discussed by the authors can be supported in multiple configurations, based on composition of three basic transformation types: abstraction, reification, and translation, which is the cornerstone of Model-Driven Architecture.
Book ChapterDOI
AGG: A Graph Transformation Environment for Modeling and Validation of Software
TL;DR: AGG is a general development environment for algebraic graph transformation systems which follows the interpretative approach and supports several kinds of validations which comprise graph parsing, consistency checking of graphs and conflict detection in concurrent transformations by critical pair analysis of graph rules.
Proceedings Article
Metamodelling Platforms
Dimitris Karagiannis,Harald Kühn +1 more
TL;DR: A framework for metamodelling platforms is presented and some answers are given to the research issues on how to design, manage, distribute and use such meetamodels on a syntactic as well as on a semantic level and how to integrate, run and maintain a metamadelling platform in a corporation's environment are given.