또한 , 모형 화 지원 편집 도 구 에서 모형 간 일관 성 을 검증 해 주 는 기능 을 통하 여 도구 사용 자 에게 자신 이 작업 하 고 있 는 다이어그램 과 구성 요소 간 의 일관 성 을 즉시 확인 시킴 에 따라 , 모형 화 작업 시 의 논리 적 오류 를 줄일 수 있 으며 , 일관 성 의 자동 검증 을 통해 시스템 의 모형 화 작업 을 효율 적 으로 수행 할 수 있 는 효과 가 있 다 .