UML MODEL VERIFICATION THROUGH DEPENDENCY RELATIONSHIPS