著者

大森 洋一 荒木 啓二郎

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.3, no.5, pp.18-28, 2010-12-10

---

形式的な論理に基づいたモデルベース開発は,上流工程からソフトウェア品質の向上に有用なさまざまな数理的検証を可能とする.しかし,システム開発における仕様記述のほとんどは自然言語により行われており,形式モデルへの変換が必要である.我々は,自然言語による要求あるいは仕様の記述から形式的なモデルの要素となるキーワードを抽出し,それらの関連を特定するという,よく知られた手順をより精密に定義し,この手順を効率的にサポートするツールを開発した.自然言語記述と形式モデルを対応づけることによって,解釈の一意性と記述の柔軟性を両立させることができる.開発したツールを活用した検証では,自然言語による仕様記述に対して,用語や表記のゆれといった言語的な品質から,記述不足や多義的な用語といった解釈に関する問題まで幅広く改善できることを示すとともに,より高度な自動変換に向けての課題を明らかにした.