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

attributed graphgraph grammargraph morphismgraph transformationmodel inclusionmodel transformationtyped graph

Mathematics Subject Classification ID

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

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

(18)

• A categorial approach to reaction systems: first steps
• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• A generalized concurrent rule construction for double-pushout rewriting
• Transformations of reaction systems over categories by means of epi-mono factorization and functors
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 4008180 (Why is no real title available?)
• Handbook of Graph Grammars and Computing by Graph Transformation
• Rule-based graph repair
• Graph surfing in reaction systems from a categorial perspective
• Linear-time graph algorithms in GP 2
• 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 Generic Construction for Crossovers of Graph-Like Structures
• Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
• Moving a derivation along a derivation preserves the spine in adhesive categories
• Constructing optimized constraint-preserving application conditions for model transformation rules

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)