1993 Fiscal Year Annual Research Report
自然言語で書かれたソフトウェア仕様書解析のための統合環境の開発
| Project/Area Number |
05780246
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
関 浩之 大阪大学, 基礎工学部, 助教授 (80196948)
|
|---|
| Keywords | 代数的仕様 / 構文解析 / 自然言語 / 形式文法 / 構文規則 / 順序機械 / 通信プロトコル / ソフトウェア工学 |
|---|
| Research Abstract |
自然言語で書かれたソフトウェア仕様書解析のための統合環境に関する研究を行い,以下の成果を得た.
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.で得られた代数的仕様は抽象的順序機械型を呼ばれる代数的仕様に詳細化される.順序機械型仕様に基づいてコーディング,保守を行う際の日本語によるドキュメントを,順序機械型仕様から自動生成するシステムを試作した.セションプロトコルの代数的仕様を入力として自動生成を行った結果,関数名等の別名を適切に指定すれば可読性の高いドキュメントが得られることがわかった.
|
-
[Publications] 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 Linguistics. 130-139 (1993)
-
[Publications] 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)
-
[Publications] 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 (1993)
-
[Publications] 大崎,石原,関,嵩: "自然語仕様から代数的仕様への変換における表現式の構文規則の生成" 情報処理学会研究報告. SE-96-10. 75-82 (1994)
