Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation

DOI10.1007/978-3-642-17322-6_7zbMath1309.68106OpenAlexW1516399092MaRDI QIDQ3059710

Ulrike Golas, Hartmut Ehrig, Enrico Biermann, Gabriele Taentzer, Claudia Ermel

Publication date: 26 November 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17322-6_7

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Related Items (7)

Towards Local Confluence Analysis for Amalgamated Graph Transformation ⋮ Unnamed Item ⋮ Multi-amalgamation of rules with application conditions in -adhesive categories ⋮ -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation ⋮ Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation ⋮ Model Transformation and Induced Instance Migration: A Universal Framework ⋮ Composition of multilevel domain-specific modelling languages

Uses Software

• PROGRES

Cites Work

• Unnamed Item
• Unnamed Item
• Amalgamation of graph transformations: a synchronization mechanism
• Fundamentals of algebraic graph transformation
• Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
• Correctness of high-level transformation systems relative to nested conditions
• Multi-Amalgamation in Adhesive Categories

This page was built for publication: Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation