A Formal Modeling of Managed Object Behaviour with Dynamic Temporal Properties


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 1, pp. 166-180, Jan. 2000
10.3745/KIPSTE.2000.7.1.166,   PDF Download:

Abstract

Recommendations of ITU-T and ISO stipulate the managerial abstraction of static and dynamic characteristics of network elements, management functions as well as management communication protocol. The current recommendations provide the formal mechanism for the structural parts of managed objects such as managed object class and attributes. But the current description method does not provide the formal mechanism for the behavioral characteristics of managed objects in clear manner but in natural language form, the complete specification of managed objects is not fully described. Also, the behaviour of managed objects is affected by their temporal and active properties. While the temporal properties representing periodic or repetitive intervals are to describe managed objects'''' behaviour in rather strict way, it will be more powerful if more dynamic temporal properties determined by external conditions are added to managed objects. In this paper, we added dynamic features to scheduling managed objects, and described, in GDMO, scheduling managed objects that support dynamic features. We also described behaviour of managed objects in newly defined BDL that has dynamic temporal properties. This paper showed that dynamic temporal managed objects provide a systematic and formal method in agent management function model.


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]
E. B. Choi, H. H. Lee, B. N. Noh, "A Formal Modeling of Managed Object Behaviour with Dynamic Temporal Properties," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 7, no. 1, pp. 166-180, 2000. DOI: 10.3745/KIPSTE.2000.7.1.166.

[ACM Style]
Eun Bok Choi, Hyung Hyo Lee, and Bong Nam Noh. 2000. A Formal Modeling of Managed Object Behaviour with Dynamic Temporal Properties. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 7, 1, (2000), 166-180. DOI: 10.3745/KIPSTE.2000.7.1.166.