Tool support for domain analysis of the software specification in natural language

Yoichi Omori, Keijiro Araki

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抄録

Most software specifications are discussed on natural language among stakeholders. There is, however, a semantic gap between natural language and programming language, which sometime causes discrepancies between them and misunderstanding among stakeholders. Formal language compensates the gap so that realizes early verification in software development process. We developed a dictionary tool to support the translation from natural language to formal language. The tool provides functionalities those are easy registration of keywords to the dictionary and exhaustive marking of the keywords. The dictionary represents a map between equivalent keywords in natural language and formal language which gives defined semantics, and the tool enhance the coverage of the keywords in the formal specification. In short, the dictionary contains conceptual keywords and specific semantics in the problem; therefore, it corresponds to a domain of the system. A system generally belongs to multi problem domains and also contains multi sub domains, consequently some dictionaries should be dynamically alternated through the translation process. APIs related to dictionary operation are proposed and verified in this paper, and the dictionary class is introduced to map the relation among domains.

本文言語英語
ホスト出版物のタイトルTENCON 2010 - 2010 IEEE Region 10 Conference
ページ1065-1070
ページ数6
DOI
出版ステータス出版済み - 12 1 2010
イベント2010 IEEE Region 10 Conference, TENCON 2010 - Fukuoka, 日本
継続期間: 11 21 201011 24 2010

出版物シリーズ

名前IEEE Region 10 Annual International Conference, Proceedings/TENCON

その他

その他2010 IEEE Region 10 Conference, TENCON 2010
国/地域日本
CityFukuoka
Period11/21/1011/24/10

All Science Journal Classification (ASJC) codes

  • コンピュータ サイエンスの応用
  • 電子工学および電気工学

フィンガープリント

「Tool support for domain analysis of the software specification in natural language」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル