Multi-Amalgamation in Adhesive Categories

  title={Multi-Amalgamation in Adhesive Categories},
  author={Ulrike Golas and Hartmut Ehrig and Annegret Habel},
Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations. This concept is especially important for an adequate formalization of the operational semantics of statecharts and other visual modeling languages, where typed attributed graphs are used for multiple rules with general application conditions. However, the theory of amalgamation for the double pushout approach has been… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS