VALIDATION OF UC 2 VDM + + ARCHITECTURE