Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation