• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 05780246
研究種目

奨励研究(A)

配分区分補助金
研究分野 計算機科学
研究機関大阪大学

研究代表者

関 浩之  大阪大学, 基礎工学部, 助教授 (80196948)

研究期間 (年度) 1993
研究課題ステータス 完了 (1993年度)
配分額 *注記
900千円 (直接経費: 900千円)
1993年度: 900千円 (直接経費: 900千円)
キーワード代数的仕様 / 構文解析 / 自然言語 / 形式文法 / 構文規則 / 順序機械 / 通信プロトコル / ソフトウェア工学
研究概要

自然言語で書かれたソフトウェア仕様書解析のための統合環境に関する研究を行い,以下の成果を得た.
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件)
  • 1993 実績報告書
  • 研究成果

    (4件)

すべて その他

すべて 文献書誌 (4件)

  • [文献書誌] 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)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 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)

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

    • 関連する報告書
      1993 実績報告書

URL: 

公開日: 1993-04-01   更新日: 2018-06-07  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi