데이터 레지스트리에 기반한 네트워크 객체관리 시스템의 모델링 및 검증