객체 모델링을 통해 초기에 사용자의 요구를 보다 명확하게 정의할 수 있고 그 결과를 바탕으로 보다 완전한 프로그램을 얻을 수 있으나, 모델 자체만으로 사용자 요구 사항과의 부합 여부를 쉽게 판단할 수 없다. 본 연구에서는 사용자와의 교류 수단으로의 객체 모델링과 검증이 가능한 형식 명세의 통합을 통해 이해하기 쉽고 구축하기도 쉬우며 검증할 수 있는 모델을 얻을 수 있게 하였다. 구축한 객체 모델을 구현 이전에 시각적 실행 환경에서 미리 검증해보므로써 개발 초기에 보다 정확한 모델을 얻을 수 있게 한다. 이를 위해 본 연구에서는 OOSA(Object-Oriented System Analysis) 방법론으로 구축한 객체 모델을 형식 명세 언어인 VDM으로 변환하는 규칙을 제안하였다. 이미 검증 과정을 거친 형식 명세 언어인 VDM으로 변환한 후 이를 바탕으로 구축한 실행 지원 환경을 통해 객체 모델의 프로토타이핑 과정을 수행할 수 있게 지원한다.

Object modeling has been considered as an efficient technique for eliciting user requirements and communicating between developers and customers. But model itself is not easy to understand what result will be after coding and whether it will be meet with the requirements of customers. In this paper, we developed the environment for visualization of object model for validating with requirement at the early stage. Therefore, we defined correct and complete rules which can transform the object model, the deliverables of Shlaer/Mellor''s method, into a formal specification language of VDM(Vienna Development Methods) with a mathematical basis. This basis provides the means of providing that a specification is realizable and proving properties of a system. Therefore, the completeness, preciseness of object model can be verified by proving the transformed VDM specification and prototyping by constructing a visualization supporting environment.