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

Yoichi Omori, Keijiro Araki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationTENCON 2010 - 2010 IEEE Region 10 Conference
Pages1065-1070
Number of pages6
DOIs
Publication statusPublished - Dec 1 2010
Event2010 IEEE Region 10 Conference, TENCON 2010 - Fukuoka, Japan
Duration: Nov 21 2010Nov 24 2010

Other

Other2010 IEEE Region 10 Conference, TENCON 2010
CountryJapan
CityFukuoka
Period11/21/1011/24/10

Fingerprint

Glossaries
Specifications
Formal languages
Semantics
Application programming interfaces (API)
Computer programming languages
Software engineering

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Electrical and Electronic Engineering

Cite this

Omori, Y., & Araki, K. (2010). Tool support for domain analysis of the software specification in natural language. In TENCON 2010 - 2010 IEEE Region 10 Conference (pp. 1065-1070). [5686435] https://doi.org/10.1109/TENCON.2010.5686435

Tool support for domain analysis of the software specification in natural language. / Omori, Yoichi; Araki, Keijiro.

TENCON 2010 - 2010 IEEE Region 10 Conference. 2010. p. 1065-1070 5686435.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Omori, Y & Araki, K 2010, Tool support for domain analysis of the software specification in natural language. in TENCON 2010 - 2010 IEEE Region 10 Conference., 5686435, pp. 1065-1070, 2010 IEEE Region 10 Conference, TENCON 2010, Fukuoka, Japan, 11/21/10. https://doi.org/10.1109/TENCON.2010.5686435
Omori Y, Araki K. Tool support for domain analysis of the software specification in natural language. In TENCON 2010 - 2010 IEEE Region 10 Conference. 2010. p. 1065-1070. 5686435 https://doi.org/10.1109/TENCON.2010.5686435
Omori, Yoichi ; Araki, Keijiro. / Tool support for domain analysis of the software specification in natural language. TENCON 2010 - 2010 IEEE Region 10 Conference. 2010. pp. 1065-1070
@inproceedings{7db3b318577b440ebd880d9312b4276b,
title = "Tool support for domain analysis of the software specification in natural language",
abstract = "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.",
author = "Yoichi Omori and Keijiro Araki",
year = "2010",
month = "12",
day = "1",
doi = "10.1109/TENCON.2010.5686435",
language = "English",
isbn = "9781424468904",
pages = "1065--1070",
booktitle = "TENCON 2010 - 2010 IEEE Region 10 Conference",

}

TY - GEN

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

AU - Omori, Yoichi

AU - Araki, Keijiro

PY - 2010/12/1

Y1 - 2010/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79951605397&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79951605397&partnerID=8YFLogxK

U2 - 10.1109/TENCON.2010.5686435

DO - 10.1109/TENCON.2010.5686435

M3 - Conference contribution

SN - 9781424468904

SP - 1065

EP - 1070

BT - TENCON 2010 - 2010 IEEE Region 10 Conference

ER -