Model transformations as free constructions

Abstract

Hartmut Ehrig was an active researcher in Algebraic Specifications on the one hand and Graph and Model Transformations on the other hand. We demonstrate that these two research fields are closely connected, if we consider generating graph transformations only and use partial algebras instead of total algebras as the underlying category.