Class diagram refinement