ソフトウェアの問題記述のための実行可能な形式化自然語の提案

• Item type: Journal(1)
• 公開日: 2011-03-15
• タイトル: ソフトウェアの問題記述のための実行可能な形式化自然語の提案
• タイトル / 言語: en
• タイトル: A Proposal for Software Specification by an Executable and Formalized Natural Language
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 一般論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属: 東京大学大学院情報理工学系研究科／国立情報学研究所
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, The University of Tokyo / National Institute of Informatics
• 著者名: 日野, 克重; 本位田真一
• 著者名(英): Katsushige, Hino; Shinichi, Honiden
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 現場技術者が使用することを想定したソフトウェアの問題記述のための実行可能な形式化自然語（FNL；Formalized Natural Language）を提案する．ソフトウェア開発の多くの困難は，もとの問題（要求）とそれを実現するソフトウェアの記述との間の意味論的隔たりからきていると考えられる．もし，原問題に近い表現で問題を書くことができ，かつ，それが実行もできるようになれば，ソフトウェア開発過程が大きく改善されることが期待できる．これに近いねらいを持つ言語は形式仕様言語または要求記述言語と称され，すでに，Z，VDM，OBJ，およびCSPなど多数提案されているが，現時点ではそれらが産業界に十分普及しているとはいい難い．その理由としては，（i）読み書きが難解である，（ii）検証中心であり実行可能性が弱い，（iii）問題世界の統合的記述性が十分でない，（iv）本質的表現力の問題などの困難が指摘されている．しかし，これまで提案されている言語の延長上でこれらの困難を打開できるシナリオ像は必ずしも明確ではないように見える．本稿ではあえて出発点に戻り，これらの困難が最初から存在しない言語を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We propose a formalized natural language (FNL) for software specification, which is executable on computers. Almost all the difficulties in software development seem to come from the semantic gaps between original problems (or requirements) and software programs. Thus, we can expect to radically improve the software development process, if it becomes possible to immediately execute the problems described in formalized expressions which are close to the original ones of problems. Many languages with similar aims have been proposed as formal specification languages including Z, VDM, OBJ, and so on. However, these have not penetrated broadly enough across the industry at present. The reasons for this are as follows: (1) difficult to read and write; (2) verification oriented but weak at executability; (3) not integrated enough to describe static structure, dynamic behavior and concurrency of the problem world; (4) weak with the essential expressiveness. A clear scenario to break through these difficulties may not be found based on the extension of the existing languages. Therefore, we propose a new language (FNL) which eliminates the above issues, daringly returning to the origin of software specification.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 52, 号 3, p. 1365-1394, 発行日 2011-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764