객체 모델의 프로토타이핑을 위한 명세 및 시뮬레이션 환경 = Specification and Simulation Environment for Prototying the Object Model

다국어 초록 (Multilingual Abstract)

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.