1338.37 도메인 모델 검증과 VAL 검증기 활용 (Domain Model Verification and VAL Validator Usage)