Graph and model transformation. General framework and applications

DOI10.1007/978-3-662-47980-3MaRDI QIDQ2634496zbMATH OpenOpenAlexWikidataFDO

Authors Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann

Publication date 9 February 2016

Published in Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-47980-3

zbMATH Keywords

graph transformationmodel transformationgraph grammarattributed graphgraph morphismtyped graphmodel inclusion

Mathematics Subject Classification ID

Applications of graph theory (05C90) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Graph theory (including graph drawing) in computer science (68R10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Categories of machines, automata (18B20)

Recommendations

• Fundamentals of algebraic graph transformation
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 2016090
• Handbook of Graph Grammars and Computing by Graph Transformation

Cited in

(16)

• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• Graph surfing in reaction systems from a categorial perspective
• A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• A categorial approach to reaction systems: first steps
• Transformations of reaction systems over categories by means of epi-mono factorization and functors
• A generalized concurrent rule construction for double-pushout rewriting
• Fundamentals of algebraic graph transformation
• Constructing optimized constraint-preserving application conditions for model transformation rules
• Logics for actor networks: a two-stage constrained-hybridisation approach
• A Generic Construction for Crossovers of Graph-Like Structures
• Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
• scientific article; zbMATH DE number 7649899 (Why is no real title available?)
• scientific article; zbMATH DE number 4008180 (Why is no real title available?)
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
• scientific article; zbMATH DE number 7453090 (Why is no real title available?)

This page was built for publication: Graph and model transformation. General framework and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2634496)