A processing system for programming specifications in a natural language

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI:10.1109/HICSS.1988.11876

H. Seki, E. Nabika, T. Matsumura, Y. Sugiyama, M. Fujii, K. Torii, T. Kasami

{"title":"A processing system for programming specifications in a natural language","authors":"H. Seki, E. Nabika, T. Matsumura, Y. Sugiyama, M. Fujii, K. Torii, T. Kasami","doi":"10.1109/HICSS.1988.11876","DOIUrl":null,"url":null,"abstract":"An English-language fragment L/sub NS/, which is used for writing program specifications, is defined using the algebraic language ASL/*. In order to define the semantics of L/sub NS/, the translation from each sentence in L/sub NS/ into a formula in a formal system is defined. If a sentence s in L/sub NS/ 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.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"83 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1988.11876","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

Abstract

An English-language fragment L/sub NS/, which is used for writing program specifications, is defined using the algebraic language ASL/*. In order to define the semantics of L/sub NS/, the translation from each sentence in L/sub NS/ into a formula in a formal system is defined. If a sentence s in L/sub NS/ 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.<>

查看原文本刊更多论文

一种用自然语言编写程序规范的处理系统

使用代数语言ASL/*定义用于编写程序规范的英语片段L/sub NS/。为了定义L/sub NS/的语义，定义了L/sub NS/中每个句子到形式系统公式的转换。如果将L/sub NS/中的句子s转化为公式t，则定义s的语义为系统中t的语义。名词和动词等非逻辑词的定义作为公理给出。在此基础上实现了一个自然语言规范处理系统。由于非逻辑词的数量非常大，而且它们的语义依赖于问题域，因此从一开始就定义所有词的语义似乎很困难。该系统不仅可以将规范转换为公式，还支持字典扩展。使用该系统分析了几种规范，并定义了非逻辑词并将其存储在字典中。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track

自引率

0.00%

发文量