Correctness and consistency of OOA & OOD models