A Formal Modeling for Temporal and Active Properties of Managed Object Behaviour


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 9, pp. 2479-2492, Sep. 1999
10.3745/KIPSTE.1999.6.9.2479,   PDF Download:

Abstract

Network management system(NMS) provides not only effective monitoring and controlling of network which consists of heterogeneous network elements but prompt response to users' need for high-level communication services. 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. 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. In this paper, we describe determinants for the behaviour of managed objects applicable to every managed object, and present a language for specifying behavioral aspects of managed objects based on their temporal and active properties.


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]
C. E. Bok, L. H. Hyo, N. B. Nam, "A Formal Modeling for Temporal and Active Properties of Managed Object Behaviour," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 9, pp. 2479-2492, 1999. DOI: 10.3745/KIPSTE.1999.6.9.2479.

[ACM Style]
Choi Eun Bok, Lee Hyung Hyo, and Noh Bong Nam. 1999. A Formal Modeling for Temporal and Active Properties of Managed Object Behaviour. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 9, (1999), 2479-2492. DOI: 10.3745/KIPSTE.1999.6.9.2479.