The Verification and Retrieval Method for selection of Compatible Object Model
Myung-Jae Lim, Young-Man Kwon, Jeong-Jin Kang · The Journal of the Institute of Webcasting, Internet and Telecommunication · 2009
In this paper, We define convert rules objects and relation presented in object model to the state and operation domain in formal specification. we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.