Translating formal software specifications to natural language - A grammar-based approach

被引：10
|
作者：
Burke, DA [1 ]
Johannisson, K
机构：
[1] Chalmers Univ Technol, Dept Comp Sci, SE-41296 Gothenburg, Sweden
[2] Univ Gothenburg, SE-41296 Gothenburg, Sweden
来源：
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS | 2005年 / 3492卷
关键词：
D O I：
10.1007/11422532_4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We describe a system for automatically translating formal software specifications to natural language. The system produces natural language which is acceptable to a human reader, and it supports by-hand optimization by users who are not experts of our system. The translation system is implemented using the Grammatical Framework, a grammar formalism based on Martin-Lof's type theory. We show that this grammar-based approach scales well enough to handle a non-trivial case study: translating the Object Constraint Language specifications of the Java Card API into English.
引用
收藏
页码：51 / 66
页数：16
相关论文
共 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] A Grammar-Based Semantic Similarity Algorithm for Natural Language Sentences
    Lee, Ming Che
    Chang, Jia Wei
    Hsieh, Tung Cheng
    [J]. SCIENTIFIC WORLD JOURNAL, 2014,
  • [3] Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP
    Leong, Iat Tou
    Barbosa, Raul
    [J]. 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, 2023, : 259 - 262
  • [4] A metrics suite for grammar-based software
    Power, JE
    Malloy, BA
    [J]. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2004, 16 (06): : 405 - 426
  • [5] Grammar-based connectionist approaches to language
    Smolensky, P
    [J]. COGNITIVE SCIENCE, 1999, 23 (04) : 589 - 613
  • [6] A formal approach for generating oo specifications from natural language
    Juristo, N
    Morant, JL
    Moreno, AM
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1999, 48 (02) : 139 - 153
  • [7] C2S: Translating Natural Language Comments to Formal Program Specifications
    Zhai, Juan
    Shi, Yu
    Pan, Minxue
    Zhou, Guian
    Liu, Yongxiang
    Fang, Chunrong
    Ma, Shiqing
    Tan, Lin
    Zhang, Xiangyu
    [J]. PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, : 25 - 37
  • [8] Method for translating natural language program specifications into algebraic specifications
    [J]. Seki, Hiroyuki, 1600, (23):
  • [9] Constructing Parser for Industrial Software Specifications Containing Formal and Natural Language Description
    Iwama, Futoshi
    Nakamura, Taiga
    Takeuchi, Hironori
    [J]. 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1012 - 1021
  • [10] A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures
    Sadeghipour, Amir
    Kopp, Stefan
    [J]. PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 2069 - 2077
12345