Mathematics of Generic Specifications for Model Management, II

This article (further referred to as Math-II), and the previous one (further referred to as Math-I, see p. 351), form a mathematical companion to Generic Model Management (further referred to as GenMMt, see p. 258). While Math-I is dealing with homogeneous MMt, the goal of Math-II is to develop machinery for heterogenous MMt, where models are not assumed to be similar.