Parallel independence of amalgamated graph transformations applied to model transformation

DOI10.1007/978-3-642-17322-6_7MaRDI QIDQ3059710zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Multi-amalgamation in adhesive categories
• Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
• scientific article; zbMATH DE number 3907796
• Graph Transformations
• scientific article; zbMATH DE number 4062632

Cites work

• Amalgamation of graph transformations: a synchronization mechanism
• Correctness of high-level transformation systems relative to nested conditions
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 1629836 (Why is no real title available?)
• Multi-amalgamation in adhesive categories
• Parallel graph transformation for model simulation applied to timed transition Petri nets
• Parallel independence of amalgamated graph transformations applied to model transformation

Cited in

(9)

• Composition of multilevel domain-specific modelling languages
• Towards Local Confluence Analysis for Amalgamated Graph Transformation
• Parallel independence of amalgamated graph transformations applied to model transformation
• Model transformation and induced instance migration: a universal framework
• scientific article; zbMATH DE number 3907796 (Why is no real title available?)
• Multi-amalgamation in adhesive categories
• scientific article; zbMATH DE number 7456052 (Why is no real title available?)
• Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

Describes a project that uses

Uses Software

• PROGRES

This page was built for publication: Parallel independence of amalgamated graph transformations applied to model transformation

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