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/1/1
Y1 - 1988/1/1
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
T3 - Proceedings of the Hawaii International Conference on System Science
SP - 754
EP - 763
BT - Proceedings of the Hawaii International Conference on System Science
PB - IEEE
ER -