Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logical Aspects of Computational Linguistics

LACL 2005: Logical Aspects of Computational Linguistics pp 51–66Cite as

Translating Formal Software Specifications to Natural Language

A Grammar-Based Approach

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3492))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling 4, 32–54 (2005)

    Article  Google Scholar 

  2. Hähnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, p. 233. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. Ranta, A.: Grammatical Framework: A Type-theoretical Grammar Formalism. The Journal of Functional Programming 14, 145–189 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  4. Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis, Napoli (1984)

    MATH  Google Scholar 

  5. Sun Microsystems: Java card homepage (2004), http://java.sun.com/products/javacard/

  6. Reiter, E., Dale, R.: Building applied natural language generation systems. Journal of Natural Language Engineering 3, 57–87 (1997)

    Article  Google Scholar 

  7. Ranta, A.: Grammatical Framework homepage (2005) www.cs.chalmers.se/~aarne/GF .

  8. Khegai, J., Nordström, B., Ranta, A.: Multilingual syntax editing in GF. In: Gelbukh, A. (ed.) CICLing 2003. LNCS, vol. 2588, Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Ranta, A.: The GF resource grammar library (2004), http://www.cs.chalmers.se/~aarne/GF/lib/resource/

  10. Sommerville, I.: Software Engineering, 7th edn. Addison Wesley, Reading (2004)

    Google Scholar 

  11. The Object Management Group: Object constraint language specification (2004), http://www.omg.org/docs/formal/03-03-13.pdf

  12. The Object Management Group: Unified modelling language homepage (2004), http://www.uml.org

  13. Larsson, D., Mostowski, W.: Specifying Java Card API in OCL. In: Schmitt, P.H., ed.: OCL 2.0 Workshop at UML, Volume 102C of ENTCS., Elsevier, 3–19 (2003)

    Google Scholar 

  14. Meijer, H., Poll, E.: Towards a full formal specification of the javaCard API. In: Attali, S., Jensen, T. (eds.) E-smart 2001. LNCS, vol. 2140, pp. 165–178. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. Burke, D.A.: Improving the natural language translation of formal software specifications. Master’s thesis, Chalmers University of Technology, SE-412 96 Göteborg, Sweden (2004)

    Google Scholar 

  16. Johannisson, K.: OCL to natural language tool homepage (2004), http://www.cs.chalmers.se/~krijo/gfspec/

  17. Daniels, H.J.: Eine deutsche Grammatik für OCL. Studienarbeit (2003), http://www.cs.chalmers.se/~krijo/gfspec/

  18. Hallgren, T., Ranta, A.: An extensible proof text editor. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol. 1955, pp. 70–84. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  19. Johannisson, K.: Disambiguating implicit constructions in OCL (2004) Online proceedings of OCL and Model Driven Engineering Workshop at UML (2004), http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04/description.htm

  20. Ljunglöf, P.: Expressivity and complexity of the Grammatical Framework. PhD thesis, Chalmers University of Technology, Göteborg University, SE-412 96 Göteborg, Sweden (2004)

    Google Scholar 

  21. Coscoy, Y., Kahn, G., Thery, L.: Extracting text from proofs. In: Dezani-Ciancaglini, M., Plotkin, G. (eds.) TLCA 1995. LNCS, vol. 902, Springer, Heidelberg (1995)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, Chalmers University of Technology and Göteborg University, SE-41296, Göteborg, Sweden

    David A. Burke & Kristofer Johannisson

Authors
  1. David A. Burke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kristofer Johannisson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LPL-CNRS, Université de Provence, 29 Avenue Robert Schuman, P.O. Box, 13621, Aix-en-Provence, France

    Philippe Blache

  2. Linguistics Dept., UCLA, Box 951543, 90095-1542, Los Angeles, CA, USA

    Edward Stabler

  3. ERSS, Université Bordeaux 3, CNRS, Domaine Universitaire, 33607, Pessac Cedex, France

    Joan Busquets

  4. LaBRI, Université Bordeaux 1, CNRS, 351, Cours de la Libération, 33405, Talence Cedex, France

    Richard Moot

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Burke, D.A., Johannisson, K. (2005). Translating Formal Software Specifications to Natural Language. In: Blache, P., Stabler, E., Busquets, J., Moot, R. (eds) Logical Aspects of Computational Linguistics. LACL 2005. Lecture Notes in Computer Science(), vol 3492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11422532_4

Download citation

  • DOI: https://doi.org/10.1007/11422532_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25783-7

  • Online ISBN: 978-3-540-31953-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation