自然言語で書かれたソフトウェア仕様書解析のための統合環境の開発

开发用于分析用自然语言编写的软件规范的集成环境

• 批准号: 05780246
• 负责人: 関 浩之
• 金额: $ 0.58万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780246/
• 关键词: 代数的仕様; 構文解析; 自然言語; 形式文法; 構文規則; 順序機械; 通信プロトコル; ソフトウェア工学

自然言語で書かれたソフトウェア仕様書解析のための統合環境に関する研究を行い,以下の成果を得た.1.仕様書解析:本システムで自然言語の構文記述に用いている単一化文法の一つである語彙機能文法(LFG)について,以下の結果を得た:LFGの部分クラス,NC-LFG,DC-LFG等を導入し,これらと,有限状態変換系,並列多重文脈自由文法の生成能力の関係を明らかにした.系として,DC-LFGによって生成される言語は多項式時間構文解析可能であることを示した.2.形式的仕様への変換:OSIセションプロトコルの自然言語仕様の主要部約100文の変換に成功した.3.表現式構文規則の自動生成:代数的仕様は,表現式の構文を指定する文法Gと公理の集合AXの2字組(G,AX)からなるが,上記2.の変換システムは文法Gが与えられているとの前提で,自然言語仕様を公理の集合に変換するものであった.ここでは,自然言語仕様を,自然言語の構文情報をもとに解析し,表現式の構文を指定する文法Gを機械的に生成する方法を検討した.Gの簡単化にはCFGの構造的等価性に基づく簡単化法を用いている.また,適切な部分データタイプの導入や,構文規則の簡単化を,ユーザと対話的に行うシステムを開発し,OSIセションプロトコルの自然言語仕様48文について、人手で記述した文法と同一の文法を生成することができた.4.マニュアルの自動生成:2.で得られた代数的仕様は抽象的順序機械型を呼ばれる代数的仕様に詳細化される.順序機械型仕様に基づいてコーディング,保守を行う際の日本語によるドキュメントを,順序機械型仕様から自動生成するシステムを試作した.セションプロトコルの代数的仕様を入力として自動生成を行った結果,関数名等の別名を適切に指定すれば可読性の高いドキュメントが得られることがわかった.

1. Text analysis: In this paper, the relationship between the use of a unified grammar and the ability to generate a parallel multiple context free grammar (LFG) is clarified. 2. The transformation of formal expression:OSI expression, the main part of natural speech expression, about 100 characters. 3. The automatic generation of expression construction rules: algebraic expression, the construction of expression, the grammar G, the axiom set AX, the 2-character group (G,AX), the transformation of formal expression, the grammar G, and the premise of natural speech expression axiom set AX. For this reason, natural speech structure information is analyzed, expression structure is specified, grammar G is mechanically generated, G is simplified, CFG is constructed, and equivalence is simplified. In addition, the appropriate part of the text is introduced, the rules of text construction are simplified, and the corresponding line of speech is opened. The OSI system of natural speech is manually described. The grammar is generated. 4. The lost line is automatically generated. 2. The abstract sequence of algebra is obtained. Sequential mechanical model is based on the Japanese language, conservative, and automatic generation of sequential mechanical model. The number of names of the members of the group is automatically generated, and the result of the operation is specified appropriately.

项目成果

SEKI,NAKANISHI,KAJI,ANDO and KASAMI: "Parallel Multiple Context-Free Grammars,Finite-State Translation Systems,and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars" Proceedings of 31st Annual Meeting of Association for Computational

SEKI、NAKANISHI、KAJI、ANDO、KASAMI：“并行多重上下文无关语法、有限状态翻译系统和词法功能语法的多项式时间可识别子类”第31届计算协会年会论文集

KAJI,SEKI and KASAMI: "Finite State Translation Systems and Parallel Multiple Context-Free Grammars" IEICE Transactions on Information and Systems. E77-D (to appear). (1994)

KAJI、SEKI 和 KASAMI：“有限状态翻译系统和并行多重上下文无关语法”IEICE Transactions on Information and Systems。

ISHIHARA,SEKI,KASAMI,SHIMABUKURO and OKAWA: "A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies" IEICE Transactions on Information and Systems. E76-D. 1479-1489

ISHIHARA、SEKI、KASAMI、SHIMABUKURO 和 OKAWA：“使用上下文依赖性从通信协议的自然语言规范到代数规范的翻译方法”IEICE Transactions on Information and Systems。

大崎,石原,関,嵩: "自然語仕様から代数的仕様への変換における表現式の構文規則の生成" 情報処理学会研究報告. SE-96-10. 75-82 (1994)

Osaki、Ishihara、Seki、Takashi：“从自然语言规范到代数规范转换的表达式的语法规则的生成”日本信息处理学会研究报告 SE-96-82 (1994)。