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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
The Standish Group International CHAOS Report 1994, The Standish Group International, Inc., Massachusetts http://www.standishgroup.com/sample_research/chaos_1994_1.php
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)
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)
Somers, H. (ed.): Computers and Translation: A Translator’s Guide. John Benjamins Publishing Company, Amsterdam (2003)
Goyvaerts, P.: Controlled English, Curse or Blessing? - A User’s Perspective. In: Proceedings of the First International Workshop on Controlled Language Applications, Belgium (1996)
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)
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)
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)
Swaffar, J.: What makes text readable?, University of Texas, Austin, http://www.utexas.edu/courses/swaffar/distance/review.html
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)
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)
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)
Quirk, R., Greenbaum, S.: University Grammar of English. Longman, London (1996)
IEEE1993, IEEE Recommended Practice for Software Requirements Specifications, ANSI/IEEE Standard 830-1993, New York (1993)
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)
Davis, A., et al.: Identifying and Measuring Quality in a Software Requirements Specification. In: First International Software Metrics Symposium, Baltimore, pp. 141–152 (1993)
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)
Gause, D.C., Weinberg, G.M.: Exploring Requirements: Quality Before Design, Dorset House, New York (1989)
Manning, C.D., Schütze, H.: Foundations of Statistical Natural Language Processing. MIT Press, Cambridge (1999)
Ide, N., Véronis, J.: Word Sense Disambiguation: The State of the Art. Journal of Computational Linguistics 24(1), 1–40 (1998)
Pedersen, T., et al.: WordNet::Similarity - Measuring the Relatedness of Concepts, Nineteenth National Conference on Artificial Intelligence, San Jose (2004)
Miller, G.A., Charles, W.G.: Contextual Correlates of Semantic Similarity. Language and Cognitive Processes 6(1), 1–28 (1998)
Web WordNet 2.0, Cognitive Science Laboratory Princeton University, Princeton (2003), http://wordnet.princeton.edu/cgi-bin/webwn
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)
Oxford English Dictionary, Oxford University Press, New York (2006)
Miller, G.A., et al.: Five papers on WordNet, Special Issue of International Journal of Lexicography, 3(4) (1990)
Daelemans, W., Buchholz, S., Veenstra, J.: Memory-based Shallow Parsing. In: Proceedings of CoNLL-99, Bergen (1999)
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)
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)
Wu, Z., Palmer, M.: Verb Semantics and Lexical Selection. In: 32nd Annual Meeting of the Association for Computational Linguistics. Las Cruces, New Mexico (1994)
Author information
Authors and Affiliations
Editor information
Rights 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)