A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies

Yasunori ISHIHARA; Hiroyuki SEKI; Tadao KASAMI; Jun SHIMABUKURO; Kazuhiko OKAWA

A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies

Yasunori ISHIHARA, Hiroyuki SEKI, Tadao KASAMI, Jun SHIMABUKURO, Kazuhiko OKAWA

Full Text Views

0

Share
Cite this

Summary :

This paper presents a method of translating natural language specifications of communication protocols into algebraic specifications. Such a natural language specification specifies action sequences performed by the protocol machine (program). Usually, a sentence implicitly specifies the state of the protocol machine at which the described actions must be performed. The authors propose a method of analyzing the implicitly specified states of the protocol machine taking the OSI session protocol specification (265 sentences) as an example. The method uses the following properties: (a) syntactic properties of a natural language (English in this paper); (b) syntactic properties introduced by the target algebraic specifications, e.g., type constraints; (c) properties specific to the target domain, e.g., properties of data types. This paper also shows the result of applying this method to the main part of the OSI session protocol specification (29 paragraphs, 98 sentences). For 95 sentences, the translation system uniquely determines the states specified implicitly by these sentences, using only (a) and (b) described above. By using (c) in addition, each implicitly specified state in the remaining three sentences is uniquely determined.

Publication: IEICE TRANSACTIONS on Information Vol.E76-D No.12 pp.1479-1489

Publication Date: 1993/12/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Automaton, Language and Theory of Computing

Cite this

Copy

Yasunori ISHIHARA, Hiroyuki SEKI, Tadao KASAMI, Jun SHIMABUKURO, Kazuhiko OKAWA, "A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies" in IEICE TRANSACTIONS on Information, vol. E76-D, no. 12, pp. 1479-1489, December 1993, doi: .
Abstract: This paper presents a method of translating natural language specifications of communication protocols into algebraic specifications. Such a natural language specification specifies action sequences performed by the protocol machine (program). Usually, a sentence implicitly specifies the state of the protocol machine at which the described actions must be performed. The authors propose a method of analyzing the implicitly specified states of the protocol machine taking the OSI session protocol specification (265 sentences) as an example. The method uses the following properties: (a) syntactic properties of a natural language (English in this paper); (b) syntactic properties introduced by the target algebraic specifications, e.g., type constraints; (c) properties specific to the target domain, e.g., properties of data types. This paper also shows the result of applying this method to the main part of the OSI session protocol specification (29 paragraphs, 98 sentences). For 95 sentences, the translation system uniquely determines the states specified implicitly by these sentences, using only (a) and (b) described above. By using (c) in addition, each implicitly specified state in the remaining three sentences is uniquely determined.
URL: https://globals.ieice.org/en_transactions/information/10.1587/e76-d_12_1479/_p

Copy

@ARTICLE{e76-d_12_1479,
author={Yasunori ISHIHARA, Hiroyuki SEKI, Tadao KASAMI, Jun SHIMABUKURO, Kazuhiko OKAWA, },
journal={IEICE TRANSACTIONS on Information},
title={A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies},
year={1993},
volume={E76-D},
number={12},
pages={1479-1489},
abstract={This paper presents a method of translating natural language specifications of communication protocols into algebraic specifications. Such a natural language specification specifies action sequences performed by the protocol machine (program). Usually, a sentence implicitly specifies the state of the protocol machine at which the described actions must be performed. The authors propose a method of analyzing the implicitly specified states of the protocol machine taking the OSI session protocol specification (265 sentences) as an example. The method uses the following properties: (a) syntactic properties of a natural language (English in this paper); (b) syntactic properties introduced by the target algebraic specifications, e.g., type constraints; (c) properties specific to the target domain, e.g., properties of data types. This paper also shows the result of applying this method to the main part of the OSI session protocol specification (29 paragraphs, 98 sentences). For 95 sentences, the translation system uniquely determines the states specified implicitly by these sentences, using only (a) and (b) described above. By using (c) in addition, each implicitly specified state in the remaining three sentences is uniquely determined.},
keywords={},
doi={},
ISSN={},
month={December},}

Copy

TY - JOUR
TI - A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies
T2 - IEICE TRANSACTIONS on Information
SP - 1479
EP - 1489
AU - Yasunori ISHIHARA
AU - Hiroyuki SEKI
AU - Tadao KASAMI
AU - Jun SHIMABUKURO
AU - Kazuhiko OKAWA
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E76-D
IS - 12
JA - IEICE TRANSACTIONS on Information
Y1 - December 1993
AB - This paper presents a method of translating natural language specifications of communication protocols into algebraic specifications. Such a natural language specification specifies action sequences performed by the protocol machine (program). Usually, a sentence implicitly specifies the state of the protocol machine at which the described actions must be performed. The authors propose a method of analyzing the implicitly specified states of the protocol machine taking the OSI session protocol specification (265 sentences) as an example. The method uses the following properties: (a) syntactic properties of a natural language (English in this paper); (b) syntactic properties introduced by the target algebraic specifications, e.g., type constraints; (c) properties specific to the target domain, e.g., properties of data types. This paper also shows the result of applying this method to the main part of the OSI session protocol specification (29 paragraphs, 98 sentences). For 95 sentences, the translation system uniquely determines the states specified implicitly by these sentences, using only (a) and (b) described above. By using (c) in addition, each implicitly specified state in the remaining three sentences is uniquely determined.
ER -