Algebraic Double-Pushout Approach

 

 

It enables us to specify dynamic semantics. In this approach, the rewriting rule can be represented as a span  of morphisms. The common source graph is the type graph that captures the structural aspect of all the classes, associations and attributes. The left hand graph and the right hand graph would specify pre-state and post-state graph, respectively. The approach describes the overall effect of complex interactions.