PROCESSING SYSTEM FOR PROGRAM SPECIFICATIONS IN A NATURAL LANGUAGE.

Hiroyuki Seki, Eiji Nabika, Takashi Matsumura, Yujii Sugiyama, Mamoru Fujii, Koji Torii, Tadao Kasami

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

An English-language 'fragment' L//N//S, which is used for writing program specifications, is defined using the algebraic language ASL/***. In order to define the semantics of L//N//S, the translation from each sentence in L//N//S into a formula in a formal system is defined. If a sentence s in L//N//S is translated into a formula t, then the semantics of s is defined to be the semantics of t in the system. The definition of 'nonlogical' words such as nouns and verbs are given as axioms. A processing system for natural-language specifications that is based on this method has been implemented. Since the number of nonlogical words is very large and their semantics depend on problem domains, it seems to be difficult to define the semantics of all the words from the beginning. The system not only translates specifications into formulas but also supports dictionary expansion. Several specifications have been analyzed using the system, and the nonlogical words have been defined and stored in the dictionary.

Original languageEnglish
Title of host publicationProceedings of the Hawaii International Conference on System Science
PublisherIEEE
Pages754-763
Number of pages10
ISBN (Print)0818608420
Publication statusPublished - 1988
Externally publishedYes

Fingerprint

Semantics
Specifications
Processing
Glossaries
Specification languages

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Seki, H., Nabika, E., Matsumura, T., Sugiyama, Y., Fujii, M., Torii, K., & Kasami, T. (1988). PROCESSING SYSTEM FOR PROGRAM SPECIFICATIONS IN A NATURAL LANGUAGE. In Proceedings of the Hawaii International Conference on System Science (pp. 754-763). IEEE.

PROCESSING SYSTEM FOR PROGRAM SPECIFICATIONS IN A NATURAL LANGUAGE. / Seki, Hiroyuki; Nabika, Eiji; Matsumura, Takashi; Sugiyama, Yujii; Fujii, Mamoru; Torii, Koji; Kasami, Tadao.

Proceedings of the Hawaii International Conference on System Science. IEEE, 1988. p. 754-763.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Seki, H, Nabika, E, Matsumura, T, Sugiyama, Y, Fujii, M, Torii, K & Kasami, T 1988, PROCESSING SYSTEM FOR PROGRAM SPECIFICATIONS IN A NATURAL LANGUAGE. in Proceedings of the Hawaii International Conference on System Science. IEEE, pp. 754-763.
Seki H, Nabika E, Matsumura T, Sugiyama Y, Fujii M, Torii K et al. PROCESSING SYSTEM FOR PROGRAM SPECIFICATIONS IN A NATURAL LANGUAGE. In Proceedings of the Hawaii International Conference on System Science. IEEE. 1988. p. 754-763
Seki, Hiroyuki ; Nabika, Eiji ; Matsumura, Takashi ; Sugiyama, Yujii ; Fujii, Mamoru ; Torii, Koji ; Kasami, Tadao. / PROCESSING SYSTEM FOR PROGRAM SPECIFICATIONS IN A NATURAL LANGUAGE. Proceedings of the Hawaii International Conference on System Science. IEEE, 1988. pp. 754-763
@inproceedings{e10a39e3fd0f46478e5f47a63d69e7c7,
title = "PROCESSING SYSTEM FOR PROGRAM SPECIFICATIONS IN A NATURAL LANGUAGE.",
abstract = "An English-language 'fragment' L//N//S, which is used for writing program specifications, is defined using the algebraic language ASL/***. In order to define the semantics of L//N//S, the translation from each sentence in L//N//S into a formula in a formal system is defined. If a sentence s in L//N//S is translated into a formula t, then the semantics of s is defined to be the semantics of t in the system. The definition of 'nonlogical' words such as nouns and verbs are given as axioms. A processing system for natural-language specifications that is based on this method has been implemented. Since the number of nonlogical words is very large and their semantics depend on problem domains, it seems to be difficult to define the semantics of all the words from the beginning. The system not only translates specifications into formulas but also supports dictionary expansion. Several specifications have been analyzed using the system, and the nonlogical words have been defined and stored in the dictionary.",
author = "Hiroyuki Seki and Eiji Nabika and Takashi Matsumura and Yujii Sugiyama and Mamoru Fujii and Koji Torii and Tadao Kasami",
year = "1988",
language = "English",
isbn = "0818608420",
pages = "754--763",
booktitle = "Proceedings of the Hawaii International Conference on System Science",
publisher = "IEEE",

}

TY - GEN

T1 - PROCESSING SYSTEM FOR PROGRAM SPECIFICATIONS IN A NATURAL LANGUAGE.

AU - Seki, Hiroyuki

AU - Nabika, Eiji

AU - Matsumura, Takashi

AU - Sugiyama, Yujii

AU - Fujii, Mamoru

AU - Torii, Koji

AU - Kasami, Tadao

PY - 1988

Y1 - 1988

N2 - An English-language 'fragment' L//N//S, which is used for writing program specifications, is defined using the algebraic language ASL/***. In order to define the semantics of L//N//S, the translation from each sentence in L//N//S into a formula in a formal system is defined. If a sentence s in L//N//S is translated into a formula t, then the semantics of s is defined to be the semantics of t in the system. The definition of 'nonlogical' words such as nouns and verbs are given as axioms. A processing system for natural-language specifications that is based on this method has been implemented. Since the number of nonlogical words is very large and their semantics depend on problem domains, it seems to be difficult to define the semantics of all the words from the beginning. The system not only translates specifications into formulas but also supports dictionary expansion. Several specifications have been analyzed using the system, and the nonlogical words have been defined and stored in the dictionary.

AB - An English-language 'fragment' L//N//S, which is used for writing program specifications, is defined using the algebraic language ASL/***. In order to define the semantics of L//N//S, the translation from each sentence in L//N//S into a formula in a formal system is defined. If a sentence s in L//N//S is translated into a formula t, then the semantics of s is defined to be the semantics of t in the system. The definition of 'nonlogical' words such as nouns and verbs are given as axioms. A processing system for natural-language specifications that is based on this method has been implemented. Since the number of nonlogical words is very large and their semantics depend on problem domains, it seems to be difficult to define the semantics of all the words from the beginning. The system not only translates specifications into formulas but also supports dictionary expansion. Several specifications have been analyzed using the system, and the nonlogical words have been defined and stored in the dictionary.

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

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

M3 - Conference contribution

AN - SCOPUS:0023844730

SN - 0818608420

SP - 754

EP - 763

BT - Proceedings of the Hawaii International Conference on System Science

PB - IEEE

ER -