2011 | OriginalPaper | Buchkapitel
M-Adhesive Transformation Systems
verfasst von : Ulrike Golas
Erschienen in: Analysis and Correctness of Algebraic Graph and Model Transformations
Verlag: Vieweg+Teubner
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.