文献

J-GLOBAL ID：201102260690869677   整理番号：11A1900647

自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて

Toward a Quality Improvement of Specifications in Natural Language Based on the Semi-equivalent Formal Models

著者 (2件)： 大森洋一 (九大 大学院システム情報科学研究院) ,  荒木啓二郎 (九大 大学院システム情報科学研究院)
資料名： 情報処理学会論文誌トランザクション(CD-ROM)  (情報処理学会論文誌 Computer Vision and Applications(CD-ROM))
巻： 2010  号： 2  ページ： ROMBUNNO.PUROGURAMINGU,VOL.3,NO.5,18-28  発行年： 2011年04月15日 
JST資料番号： L7379A  ISSN： 1882-7772  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

シソーラス用語： *形式的手法【計算機】 ,  *計算機プログラミング ,  *自然言語 ,  一意性 ,  柔軟性 ,  支援プログラム ,  プログラム検証 ,  仕様記述 ,  ゆらぎ ,  多様性 ,  *プログラム変換 ,  改変 ,  品質向上
準シソーラス用語： ソフトウェアツール ,  解釈 ,  *自然言語プログラミング ,  自動変換

分類 (3件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R) ,  言語プロセッサ  (JD03040F)

引用文献 (26件)：

• 1) Abrial, J.-R.: The B-Book: Assigning Programs to Meanings, Cambridge Univer-sity Press (1996).
• 2) Gaizauskas, R. and Harmain, H.M.: CM-Builder: An Automated NL-Based CASE Tool, Proc. 15th IEEE International Conference on Automated Software Engineer-ing, pp.45-54 (2000).
• 3) Gerhart, S., Craigen, D. and Ralston, T.: Experience with formal methods in crit-ical systems, IEEE Software, Vol.11, No.1, pp.21-28 (1994).
• 4) Hinchey, M.G. and Bowen, J.P.(Eds.): Applications of Formal Methods, Prentice Hall (1995).
• 5) Holzmann, G.J.: The Model Checker SPIN, IEEE Trans. Softw. Eng., Vol.23, No.5, pp.279-295 (1997).

タイトルに関連する用語 (4件)： 自然言語 ,  仕様記述 ,  形式モデル ,  品質向上