2011 | OriginalPaper | Chapter
M-Adhesive Transformation Systems
Author : Ulrike Golas
Published in: Analysis and Correctness of Algebraic Graph and Model Transformations
Publisher: Vieweg+Teubner
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
M
-adhesive categories constitute a powerful framework for the definition of transformations. The double–pushout approach, which is based on categorical constructions, is a suitable description of transformations leading to a great number of results as the Local Church-Rosser, Parallelism, Concurrency, Embedding, Extension, and Local Confluence Theorems. Yet the rules and transformations themselves are easy and intuitively to understand.