Semantical correctness and completeness of model transformations using graph and rule transformations: long version - Ehrig, Hartmut 1944-2016; Ermel, Claudia (Techn. Univ., Fak. IV, Elektrotechnik und Informatik, 2008)