Oh Heang Seok, Choi Young Hwan, Lee Sang Ho

The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 5, pp. 1349-1357, May. 1997
10.3745/KIPSTE.1997.4.5.1349,   PDF Download:

Abstract

As the size and complexity of newly suggested info-communications protocols are increasing, we need automatic tools for the protocol development. There were active researches on the development of these automatic tools to support the efficient protocol developments. But, till now, even though a lot of tools were developed, those are in the experimental stage and their practicality is pretty far away regardless of significant theoretical research effort invested to produce them. Almost all the tools developed so far were usually developed individually and they show limitations in the integrated protocol developments. In this paper, to resolve these limitations, we integrated already developed tools systematically and designed and constructed an integrated environment composed of diverse tools for the effective protocol developments. The integrated environment offers a complete cycle of the protocol development processes and reduces protocol development period via the automation of using protocol development tools and improves the reliability of protocol.

Statistics
Cite this article