Graph and model transformation. General framework and applications
DOI10.1007/978-3-662-47980-3zbMATH Open1341.68002OpenAlexW2417489454WikidataQ63185081 ScholiaQ63185081MaRDI QIDQ2634496FDOQ2634496
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
Recommendations
graph transformationmodel transformationgraph grammarattributed graphgraph morphismtyped graphmodel inclusion
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)
Cited In (16)
- Title not available (Why is that?)
- 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
- 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
- A Generic Construction for Crossovers of Graph-Like Structures
- Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A categorial approach to reaction systems: first steps
- 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 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
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)
