Specification and Simulation Environment for Prototying the Object Model


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 5, pp. 1243-1256, May. 1997
10.3745/KIPSTE.1997.4.5.1243,   PDF Download:

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 September 1st, 2017)
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 article
[IEEE Style]
J. Lan, K. J. A, M. C. Ryeal, K. J. Doo, "Specification and Simulation Environment for Prototying the Object Model," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 4, no. 5, pp. 1243-1256, 1997. DOI: 10.3745/KIPSTE.1997.4.5.1243.

[ACM Style]
Jung Lan, Kim Jung A, Moon Chung Ryeal, and Kim Jung Doo. 1997. Specification and Simulation Environment for Prototying the Object Model. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 4, 5, (1997), 1243-1256. DOI: 10.3745/KIPSTE.1997.4.5.1243.