Skip to main content

Optimal-Constraint Lexicons for Requirements Specifications

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4542))

Abstract

Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim to reduce the ambiguity inherent within natural languages, whilst maintaining their readability and expressiveness.

The design of existing CNLs appears to be unfocused towards achieving specific quality outcomes, in that the majority of lexical selections have been based upon lexicographer preferences rather than an optimum trade-off between quality factors such as ambiguity, readability, expressiveness, and lexical magnitude.

In this paper we introduce the concept of ’replaceability’ as a way of identifying the lexical redundancy inherent within a sample of requirements. Our novel and practical approach uses Natural Language Processing (NLP) techniques to enable us to make dynamic trade-offs between quality factors to optimise the resultant CNL. We also challenge the concept of a CNL being a one-dimensional static language, and demonstrate that our optimal-constraint process results in a CNL that can adapt to a changing domain while maintaining its expressiveness.

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

Buying options

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. The Standish Group International CHAOS Report 1994, The Standish Group International, Inc., Massachusetts http://www.standishgroup.com/sample_research/chaos_1994_1.php

  2. Fuchs, N.E., Schwitter, R.: Attempto Controlled English (ACE). In: Proceedings of the First International Workshop on Controlled Language Applications, Belgium, pp. 124-136 (1996)

    Google Scholar 

  3. Schwitter, R., English, R.: as a formal specification language. In: Proceedings. 13th International Workshop on Database and Expert Systems Applications, Aix-en-Provence, pp. 228–232 (2002)

    Google Scholar 

  4. Somers, H. (ed.): Computers and Translation: A Translator’s Guide. John Benjamins Publishing Company, Amsterdam (2003)

    Google Scholar 

  5. Goyvaerts, P.: Controlled English, Curse or Blessing? - A User’s Perspective. In: Proceedings of the First International Workshop on Controlled Language Applications, Belgium (1996)

    Google Scholar 

  6. Grover, C., Holt, A., Klein, M. M.: Designing a Controlled Language for Interactive Model Checking. In: Proceedings of the Third International Workshop on Controlled Language Applications, Washington, pp. 90–104 (2000)

    Google Scholar 

  7. Kamprath, C., et al.: Controlled Language for Multilingual Document Production: Experience with Caterpillar Technical English. In: Proceedings of the Second International Workshop on Controlled Language Applications, Pennsylvania, pp. 51–61 (1998)

    Google Scholar 

  8. AECMA1986, AECMA/AIA Simplified English: A Guide for the Preparation of Aircraft Maintenance Documentation in the International Aerospace Maintenance Language, Association Europeenne des Constructueurs de Materiel Aerospatial (1986)

    Google Scholar 

  9. Swaffar, J.: What makes text readable?, University of Texas, Austin, http://www.utexas.edu/courses/swaffar/distance/review.html

  10. Gnesi, S., et al.: An Automatic Tool for the Analysis of Natural Language Requirements. International Journal of Computer Systems Science & Engineering 20(1), 53–62 (2005)

    Google Scholar 

  11. Fabbrini, F., Fusani, M., Gervasi, V., Gnesi, S., Ruggieri, S.: Achieving Quality in Natural Language Requirements. In: 11th International Software Quality Week, San Francisco (1998)

    Google Scholar 

  12. Boyd, S., Zowghi, D., Farroukh, A.: Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study. In: Proceedings of the 13th International Conference on Requirements Engineering, Paris (2005)

    Google Scholar 

  13. Quirk, R., Greenbaum, S.: University Grammar of English. Longman, London (1996)

    Google Scholar 

  14. IEEE1993, IEEE Recommended Practice for Software Requirements Specifications, ANSI/IEEE Standard 830-1993, New York (1993)

    Google Scholar 

  15. Kamsties, E., Berry, D.M., Paech, B.: Detecting Ambiguities in Requirements Documents Using Inspections. In: Workshop on Inspections in Software Engineering (WISE’01), Paris, pp. 68–80 (2001)

    Google Scholar 

  16. Davis, A., et al.: Identifying and Measuring Quality in a Software Requirements Specification. In: First International Software Metrics Symposium, Baltimore, pp. 141–152 (1993)

    Google Scholar 

  17. Harwell, R., Aslaksen, E., Hooks, I., Mengot, R., Ptack, K.: What is a Requirement?. In: Proceedings of the Third Annual International Symposium, National Council of Systems Engineers (NCOSE), pp. 17–24 (1993)

    Google Scholar 

  18. Gause, D.C., Weinberg, G.M.: Exploring Requirements: Quality Before Design, Dorset House, New York (1989)

    Google Scholar 

  19. Manning, C.D., Schütze, H.: Foundations of Statistical Natural Language Processing. MIT Press, Cambridge (1999)

    MATH  Google Scholar 

  20. Ide, N., Véronis, J.: Word Sense Disambiguation: The State of the Art. Journal of Computational Linguistics 24(1), 1–40 (1998)

    Google Scholar 

  21. Pedersen, T., et al.: WordNet::Similarity - Measuring the Relatedness of Concepts, Nineteenth National Conference on Artificial Intelligence, San Jose (2004)

    Google Scholar 

  22. Miller, G.A., Charles, W.G.: Contextual Correlates of Semantic Similarity. Language and Cognitive Processes 6(1), 1–28 (1998)

    Google Scholar 

  23. Web WordNet 2.0, Cognitive Science Laboratory Princeton University, Princeton (2003), http://wordnet.princeton.edu/cgi-bin/webwn

  24. Fabbrini, F., Fusani, M., Gnesi, G., Lami, G.: An Automatic Quality Evaluation for Natural Language Requirements. In: Proceedings of the Seventh International Workshop on RE: Foundation for Software Quality, Interlaken, Switzerland (2001)

    Google Scholar 

  25. Oxford English Dictionary, Oxford University Press, New York (2006)

    Google Scholar 

  26. Miller, G.A., et al.: Five papers on WordNet, Special Issue of International Journal of Lexicography, 3(4) (1990)

    Google Scholar 

  27. Daelemans, W., Buchholz, S., Veenstra, J.: Memory-based Shallow Parsing. In: Proceedings of CoNLL-99, Bergen (1999)

    Google Scholar 

  28. Patwardhan, S., Banerjee, S., Pederson, T.: SenseRelate: TargetWord - A Generalized Framework for Word Sense Disambiguation. In: Twentieth National Conference on Artificial Intelligence (Intelligent Systems Demonstration), Pittsburgh (2005)

    Google Scholar 

  29. Mihalcea, R., Faruque, E.: SenseLearner: Minimally Supervised Word Sense Disambiguation for All Words in Open Text. In: Proceedings of ACL/SIGLEX Senseval-3, Barcelona (2004)

    Google Scholar 

  30. Wu, Z., Palmer, M.: Verb Semantics and Lexical Selection. In: 32nd Annual Meeting of the Association for Computational Linguistics. Las Cruces, New Mexico (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Pete Sawyer Barbara Paech Patrick Heymans

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Boyd, S., Zowghi, D., Gervasi, V. (2007). Optimal-Constraint Lexicons for Requirements Specifications. In: Sawyer, P., Paech, B., Heymans, P. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2007. Lecture Notes in Computer Science, vol 4542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73031-6_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73031-6_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73030-9

  • Online ISBN: 978-3-540-73031-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics