Abstract
This paper proposes a knowledge-based specification technique (KST) for protocol development. This technique semi-automatically translates a protocol described in an informal description (natural languages or graphs) into one described in formal specifications (Estelle and SDL). The translation processes are supported by knowledge stored in the knowledge base. This paper discusses the concept, the specification control mechanism of KST and the rules and algorithms for production of FSM's which is the basis of Estelle and SDL.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
P. Zafiropuloet al., Towards analyzing and synthesizing protocols.IEEE Trans. Comm., 1980, 28 (4), 651–661.
Y. X. Zhanget al., An interactive protocol synthesis algorithm using a global state transition graphIEEE Trans. Software Eng., 1988, 14 (3), 394–404.
Y. X. Zhanget al., A knowledge based system for protocol synthesis (KSPS).IEEE J. Select Areas Comm., 1988, 6 (5), 874–883.
Y. X. Zhanget al., Construction of a protocol synthesis environment and its implementation.IECIE of Japan Trans, on D—I, 1989 (1).
N. Shiratoriet al., A user friendly software environment for protocol synthesis.IEEE Trans. Computer, 1991, 40 (4), 477–486.
Author information
Authors and Affiliations
Additional information
This work was supported by the National Natural Science Foundation of China (No. 69173306).
Rights and permissions
About this article
Cite this article
Yaoxue, Z., Meilin, S. & Shiratori, N. A knowledge-based specification technique for protocol development. J. of Compt. Sci. & Technol. 8, 188–192 (1993). https://doi.org/10.1007/BF02939482
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02939482