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

被引：11

作者：

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

共 16 条

[1]

Ahrendt W., 2005, SOFTWARE SYSTEM MODE, V4, P32, DOI [DOI 10.1007/S10270-004-0058-X, 10.1007/s10270-004-0058-x]

[2]

BURKE DA, 2004, SE412 CHALM U TECHN

[3]

COSCOY Y, 1995, LNCS, V902, P109

[4]

DANIELS HJ, 2003, DTSCH GRAMMATIK OCL

[5]

HAHNLE R, 2002, LNCS, V2306

[6] An extensible proof text editor [J].

Hallgren, T ;

Ranta, A .

LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 :70-84

[7]

JOHANNISSON K, 2004, ONL P OCL MOD DRIV E

[8]

KHEGAJ J, 2003, LNCS

[9]

Larsson D., 2004, ELECT NOTES THEOR CO, V102, P3

[10]

LJUNGLOF P, 2004, SE412 CHALM U TECHN

← 1 2 →