Translating formal software specifications to natural language

Authors:
David A. Burke;Kristofer Johannisson
Affiliations:
Department of Computing Science, Chalmers University of Technology and Göteborg University, Göteborg, Sweden;Department of Computing Science, Chalmers University of Technology and Göteborg University, Göteborg, Sweden
Venue:
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Year:
2005

Citing 9
Cited 12

An Authoring Tool for Informal and Formal Requirements Specifications

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Extracting Text from Proofs

TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
Towards a Full Formal Specification of the JavaCard API

E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Grammatical Framework

Journal of Functional Programming
Building applied natural language generation systems

Natural Language Engineering
Software Engineering (7th Edition)

Software Engineering (7th Edition)
Specifying Java Card API in OCL

Electronic Notes in Theoretical Computer Science (ENTCS)
An extensible proof text editor

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Multilingual syntax editing in GF

CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing

Realization of natural language interfaces using lazy functional programming

ACM Computing Surveys (CSUR)
GF parallel resource grammars and Russian

COLING-ACL '06 Proceedings of the COLING/ACL on Main conference poster sessions
Paraphrasing OCL Expressions with SBVR

NLDB '08 Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems
On the generation of requirements specifications from software engineering models: A systematic literature review

Information and Software Technology
Grammar development in GF

EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session
Dialogue system localization with the GF resource grammar library

SLP '07 Proceedings of the Workshop on Grammar-Based Approaches to Spoken Language Processing
A Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
PGF: A Portable Run-time Format for Type-theoretical Grammars

Journal of Logic, Language and Information
From UML/OCL to SBVR specifications: A challenging transformation

Information Systems
Implementing controlled languages in GF

CNL'09 Proceedings of the 2009 conference on Controlled natural language
Translating between language and logic: what is easy and what is difficult

CADE'11 Proceedings of the 23rd international conference on Automated deduction
Natural language generation from class diagrams

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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-Löf'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.