Specification and Simulation Environment for Prototying the Object Model

KIPS Journal (1994 ~ 2000), Vol. 4, No.5, pp.1243-1256, May 1997
Full Text

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.


Statistics

Show / Hide Statistics

Statistics (Cumulative Counts from October 15, 2016)

Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.


Cite this paper

[KIPS Transactions Style]
J. Lan, K. J. A, M. C. Ryeal, and K. J. Doo, "Specification and Simulation Environment for Prototying the Object Model," KIPS Journal (1994 ~ 2000), Vol.4, No.5, pp.1243-1256, 1997, DOI: null.

[IEEE Style]
Jung Lan, Kim Jung A, Moon Chung Ryeal, and Kim Jung Doo, "Specification and Simulation Environment for Prototying the Object Model," KIPS Journal (1994 ~ 2000), vol. 4, no. 5, pp. 1243-1256, 1997. DOI: null.

[ACM Style]
Lan, J., A, K. J., Ryeal, M. C., and Doo, K. J. 1997. Specification and Simulation Environment for Prototying the Object Model. KIPS Journal (1994 ~ 2000), 4, 5, (1997), 1243-1256. DOI: null.