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


Vol. 6,  No. 9, pp. 2479-2492, Sep.  1999
10.3745/KIPSTE.1999.6.9.2479


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals