Translating software requirement from natural language to automaton

Author

Sun Rui ; Zhong Deming

Author_Institution

Beihang Univ., Beijing, China

fYear

2013

fDate

20-22 Dec. 2013

Firstpage

2456

Lastpage

2459

Abstract

The problems in the requirement using natural language, such as incomplete, inconsistent, ambiguous, can lead to delays or even failures in software projects. The requirement using formal specification can solve these problems. However, translating software requirements from natural language to formal specification has always been a difficulty. This paper proposes a new method for the translation from the natural language to a formal specification, the automaton. Firstly, a constrained structure of natural language is used to specify the requirements, and then two tables are used to extract the characteristics of requirements. At last, the translation from natural language to automaton will finish with help of control structure chart of requirement.

Keywords

formal specification; language translation; natural language processing; program control structures; automaton; control structure chart; formal specification; natural language; software projects; software requirement translation; Aerospace control; Automata; Computers; Natural languages; Process control; Software; Unified modeling language; automaton; formal specification; natural language; software requirement;

fLanguage

English

Publisher

ieee

Conference_Titel

Mechatronic Sciences, Electric Engineering and Computer (MEC), Proceedings 2013 International Conference on

Conference_Location

Shengyang

Print_ISBN

978-1-4799-2564-3

Type

conf

DOI

10.1109/MEC.2013.6885449

Filename

6885449