A Knowledge-Based Specification Technique for Protocol Development

Zhang Yaoxue,Shi Meilin,Norio Shiratori

DOI: https://doi.org/10.1007/bf02939482

1993-01-01

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.