Graph and model transformation. General framework and applications

DOI10.1007/978-3-662-47980-3zbMath1341.68002OpenAlexW2417489454WikidataQ63185081 ScholiaQ63185081MaRDI QIDQ2634496

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 grammarmodel transformationgraph transformationattributed graphgraph morphismtyped graphmodel inclusion

Mathematics Subject Classification ID

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

Related Items (12)

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 ⋮ 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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A categorial approach to reaction systems: first steps ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules ⋮ 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

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