Automatic Generation of Protocol Test Cases from Estelle Using Design / CPN 


Vol. 6,  No. 11, pp. 3070-3076, Nov.  1999
10.3745/KIPSTE.1999.6.11.3070


PDF
  Abstract

Conventional caching system doesn't support Real-Time attributes and load balance. To solve these problems, this paper describes the design and implementation of the RIOP(Real-Time Inter-ORB Protocol) to provide QoS guarantees mechanism integrating RSVP and TAO ORB. Furthermore, it provides fast XCSLS(Extended Caching System for Load Balance) implementing main memory cache in Primary Server using locality of objects. In this paper, a key feature is presented : QoS enforcement, PS(Primary Server) and RS(Replicated Server).

  Statistics
  Cite this article

[IEEE Style]

H. J. Lee, J. K. Cho, S. H. Woo, S. H. Lee, "Automatic Generation of Protocol Test Cases from Estelle Using Design / CPN," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 11, pp. 3070-3076, 1999. DOI: 10.3745/KIPSTE.1999.6.11.3070.

[ACM Style]

Hyun Jeong Lee, Jin Ki Cho, Sung Hee Woo, and Sang Ho Lee. 1999. Automatic Generation of Protocol Test Cases from Estelle Using Design / CPN. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 11, (1999), 3070-3076. DOI: 10.3745/KIPSTE.1999.6.11.3070.

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