Translating Software Requirement from Natural Language to Automaton

被引：0
|
作者：
Sun Rui [1 ]
Zhong Deming [1 ]
机构：
[1] Beihang Univ, Beijing 100191, Peoples R China
来源：
PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC) | 2013年
关键词：
software requirement; natural language; formal specification; automaton;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
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.
引用
收藏
页码：2456 / 2459
页数：4
相关论文
共 50 条
  • [1] Translating Software Requirements from Natural Language to Formal Specification
    Fatwanto, Agung
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND CYBERNETICS (CYBERNETICSCOM), 2012, : 148 - 152
  • [2] Semantic Analysis of Natural Language Software Requirement
    Hassan, Taimoor
    Hassan, Shoaib
    Yar, Muhammad Asfand
    Younas, Waleed
    [J]. 2016 SIXTH INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING TECHNOLOGY (INTECH), 2016, : 459 - 463
  • [3] Processing natural language software requirement specifications
    Osborne, M
    MacNish, CK
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 229 - 236
  • [4] Translating formal software specifications to natural language - A grammar-based approach
    Burke, DA
    Johannisson, K
    [J]. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 : 51 - 66
  • [5] Neural machine translating from natural language to SPARQL
    Yin, Xiaoyu
    Gromann, Dagmar
    Rudolph, Sebastian
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2021, 117 : 510 - 519
  • [6] M2Z: A tool for translating a natural language software specification into Z
    Shukur, Z
    Zin, AM
    Ban, A
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 406 - 410
  • [7] A Machine Translation System for Translating from the Polish Natural Language into the Sign Language
    Koziol, Wojciech
    Wojtowicz, Hubert
    Szymczyk, Daniel
    Sikora, Kazimierz
    Wajs, Wieslaw
    [J]. Intelligent Information and Database Systems, Pt I, 2015, 9011 : 87 - 96
  • [8] Issues in translating from natural language to SQL in a domain-independent natural language interface to databases
    Gonzalez B., Juan J.
    Pazos Rangel, Rodolfo A.
    Cruz C., I. Cristina
    Fraire H., Hector J.
    de L ., Santos Aguilar
    Perez O., Joaquin
    [J]. MICAI 2006: Advances in Artificial Intelligence, Proceedings, 2006, 4293 : 922 - 931
  • [9] PAROT: Translating natural language to SPARQL
    Ochieng, Peter
    [J]. Expert Systems with Applications: X, 2020, 5
  • [10] Translating natural language constraints to OCL
    Bajwa, Imran Sarwar
    Lee, Mark
    Bordbar, Behzad
    [J]. JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2012, 24 (02) : 117 - 128
12345