An Object Model Uerification System based on the Constraint Language


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 3, No. 6, pp. 1453-1467, Nov. 1996
10.3745/KIPSTE.1996.3.6.1453,   PDF Download:

Abstract

A software development process is regarded as the process of building a series of vareios models. But developers had no method to verify these models which created subjectively. This paper has adopted initiatives of verification tools to an early phase of analysis, wheres the existing verification tools have mostly been used for implementations. This paper has defined a constraint language that expresses disciplines suggested in the existing methodology as well as guidelines applied by abject model editor in the object model. The verification system has been built upon the constraint language, which is proven to enhance the quality and consistency of models constructed by object model editor.


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]
K. J. Soo, K. K. Hak, L. K. Hwan, "An Object Model Uerification System based on the Constraint Language," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 3, no. 6, pp. 1453-1467, 1996. DOI: 10.3745/KIPSTE.1996.3.6.1453.

[ACM Style]
Kim Jin Soo, Kang Kwon Hak, and Lee Kyung Hwan. 1996. An Object Model Uerification System based on the Constraint Language. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 3, 6, (1996), 1453-1467. DOI: 10.3745/KIPSTE.1996.3.6.1453.