论文部分内容阅读
This paper proposes a knowledge-based specification technique(KST)for protocol development.This technique semi-automatically translates a protocol described in an informal description(naturallanguages or graphs)into one described in formal specifications(Estelle and SDL).The translationprocesses 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 whichis the basis of Estelle and SDL.
This paper proposes a knowledge-based specification technique (KST) for protocol development. This technique semi-automatically translates a protocol described in an informal description (naturallanguages or graphs) into one described in formal specifications (Estelle and SDL) .The translationprocesses 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 whichis the basis of Estelle and SDL.