A knowledge-based specification technique for protocol development

Zhang Yaoxue; Shi Meilin; Norio Shiratori

doi:10.1007/BF02939482

A knowledge-based specification technique for protocol development

Zhang Yaoxue^*, Shi Meilin, Norio Shiratori

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	188-192
Number of pages	5
Journal	Journal of Computer Science and Technology
Volume	8
Issue number	2
DOIs	https://doi.org/10.1007/BF02939482
Publication status	Published - 1993 Apr

Keywords

finite state machine
knowledge engineering
Network
protocol
specification

ASJC Scopus subject areas

Software
Hardware and Architecture
Computer Graphics and Computer-Aided Design

Access to Document

10.1007/BF02939482

Cite this

@article{daf5aac01d874b15bf2d8525db7a262a,

title = "A knowledge-based specification technique for protocol development",

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.",

keywords = "finite state machine, knowledge engineering, Network, protocol, specification",

author = "Zhang Yaoxue and Shi Meilin and Norio Shiratori",

year = "1993",

month = apr,

doi = "10.1007/BF02939482",

language = "English",

volume = "8",

pages = "188--192",

journal = "Journal of Computer Science and Technology",

issn = "1000-9000",

publisher = "Springer New York",

number = "2",

}

TY - JOUR

T1 - A knowledge-based specification technique for protocol development

AU - Yaoxue, Zhang

AU - Meilin, Shi

AU - Shiratori, Norio

PY - 1993/4

Y1 - 1993/4

N2 - 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.

AB - 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.

KW - finite state machine

KW - knowledge engineering

KW - Network

KW - protocol

KW - specification

UR - http://www.scopus.com/inward/record.url?scp=52449145597&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=52449145597&partnerID=8YFLogxK

U2 - 10.1007/BF02939482

DO - 10.1007/BF02939482

M3 - Article

AN - SCOPUS:52449145597

SN - 1000-9000

VL - 8

SP - 188

EP - 192

JO - Journal of Computer Science and Technology

JF - Journal of Computer Science and Technology

IS - 2

ER -

A knowledge-based specification technique for protocol development

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this