Formalization of Object-Oriented Dynamic Modeling Technique


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 4, pp. 1013-1024, Apr. 1997
10.3745/KIPSTE.1997.4.4.1013,   PDF Download:

Abstract

In this traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodologies lack in formality the dynamic model and modeling process. Dynamic model cannot represent exactly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the dynamic model and modeling process based on object behavior and state. This model defines the object state space using the concepts in algebra structures and defines the object behavior function. Also this model can formalize object lifecycle and concurrency among the objects using the temporal logic and behavior function. We apply firing rules to behavior function for modeling the dependency of interaction among the objects.


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. J. Ah, L. K. Whan, "Formalization of Object-Oriented Dynamic Modeling Technique," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 4, no. 4, pp. 1013-1024, 1997. DOI: 10.3745/KIPSTE.1997.4.4.1013.

[ACM Style]
Kim Jin Soo, Kim Jeong Ah, and Lee Kyung Whan. 1997. Formalization of Object-Oriented Dynamic Modeling Technique. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 4, 4, (1997), 1013-1024. DOI: 10.3745/KIPSTE.1997.4.4.1013.