Abstract
In industry, reviews and inspections are the primary methods to identify ambiguities, inconsistencies, and under specifications in natural language (NL) software requirements specifications (SRSs). However, humans have difficulties identifying ambiguities and tend to overlook inconsistencies in a large NL SRS. This paper presents a three-step, semi-automatic method, supported by a prototype tool, for identifying inconsistencies and ambiguities in NL SRSs. The method combines the strengths of automation and human reasoning to overcome difficulties with reviews and inspections. First, the tool parses a NL SRS according to a constraining grammar. Second, from relationships exposed in the parse, the tool creates the classes, methods, variables, and associations of an object-oriented analysis model of the specified system. Third, the model is diagrammed so that a human reviewer can use the model to detect ambiguities and inconsistencies. Since a human finds the problems, the tool has to have neither perfect recall nor perfect precision. The effectiveness of the approach is demonstrated by applying it and the tool to a widely published example NL SRS. A separate study evaluates the tool’s domain-specific term detection.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abbott, R.J.: Program Design by Informal English Descriptions. Comm. ACM 26, 882–894 (1983)
Berry, D.M., Daudjee, K., Dong, J., Fainchtein, I., Nelson, M.A., Nelson, T.: Users’ Manual as a Requirements Specification: Case Studies. Requir. Eng. J. 9, 67–82 (2004)
Berry, D.M., Kamsties, E.: Ambiguity in Requirements Specification. In: Leite, J.C.S.P., Doorn, J. (eds.) Perspectives on Requirements Engineering, pp. 7–44. Kluwer, Boston (2004)
Bucchiarone, A., Gnesi, S., Pierini, P.: Quality Analysis of NL Requirements: An Industrial Case Study. In: 13th IEEE International Conference on Requirements Engineering (RE 2005), San Diego, CA, USA, pp. 390–394. IEEE Comp. Soc. Press, Los Alamitos (2005)
Clayton, R., Rugaber, S., Wills, L.: Dowsing: A Tools Framework for Domain-Oriented Browsing Software Artifacts. In: Automated Software Engineering Conference, Honolulu, HI, USA, pp. 204–207 (1998)
Delisle, S., Barker, D., Biskri, K.: Object-oriented Analysis: Getting Help from Robust Computational Linguistic Tools. In: Friedl, G., Mayr, H.C. (eds.) Application of Natural Language to Information Systems, Oesterreichische Computer Gesellschaft, Vienna, Austria, pp. 167–172 (1999)
Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: The Linguistic Approach to the Natural Language Requirements, Quality: Benefits of the use of an Automatic Tool. In: 26th Annual IEEE Computer Society-NASA GSFC Software Engineering Workshop, San Diego, CA, USA, pp. 97–105. IEEE Comp. Soc. Press, Los Alamitos (2001)
Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto Controlled English (ACE) Language Manual, Version 3.0. Tech. Rept. 99.03, Dept. Computer Science, U. Zurich (1999)
Fuchs, N.E., Schwitter, R.: Attempto Controlled English (ACE). In: 1st International Workshop On Controlled Language Applications (CLAW), Leuven, Belgium, pp. 124–136 (1996)
Gause, D., Weinberg, G.: Exploring Requirements: Quality Before Design. Dorset House, New York (1989)
Gemini Natural-Language Understanding System, http://www.ai.sri.com/natural-language/projects/arpa-sls/nat-lang.html
Gervasi, V., Nuseibeh, B.: Lightweight Validation of Natural Language Requirements. Softw., Pract. & Exper. 32, 113–133 (2002)
Graphviz–Graph Visualization Software Home Page, http://www.graphviz.org/Credits.php
Grishman, R.: Information Extraction: Techniques and Challenges. In: Pazienza, M.T. (ed.) SCIE 1997. LNCS, vol. 1299. Springer, Heidelberg (1997)
Harmain, H.M., Gaizauskas, R.J.: CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis. Autom. Softw. Eng. 10, 157–181 (2003)
Heimdahl, M.: An Example: The Lift (Elevator) Problem, http://www-users.cs.umn.edu/heimdahl/formalmodels/elevator.htm
Juristo, N., Moreno, A.M., Lopez, M.: How to Use Linguistic Instruments For Object-Oriented Analysis. IEEE Softw. 17, 80–89 (2000)
Kiyavitskaya, N., Zeni, N., Mich, L., Berry, D.M.: Requirements for Tools for Ambiguity Identification and Measurement in Natural Language Requirements Specifications. Requir. Eng. J. 13, 207–239 (2008)
Klein, D., Manning, C.D.: Accurate Unlexicalized Parsing. In: 41st Meeting of the Association for Computational Linguistics, pp. 423–430. Assoc. for Computational Linguistics, Morristown (2003)
Kof, L.: Natural Language Processing for Requirements Engineering: Applicability to Large Requirements Documents. In: Russo, A., Garcez, A., Menzies, T. (eds.) Workshop on Automated Software Engineering, Linz, Austria (2004)
Lecoeuche, R.: Finding Comparatively Important Concepts between Texts. In: 15th IEEE international Conference on Automated Software Engineering, pp. 55–60. IEEE Comp. Soc. Press, San Diego (2000)
Luqi, Kordon, F.: Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 15–24. Springer, Heidelberg (2008)
Mich, L.: On the Use of Ambiguity Measures in Requirements Analysis. In: Moreno, A., van de Riet, R. (eds.) 6th International Conference on Applications of Natural Language to Information Systems (NLDB 2001). LNI, vol. 3, pp. 143–152. Gesellschaft für Informatik, Bonn (2001)
Mich, L., Franch, M., Novi Inverardi, L.: Market Research for Requirements Analysis Using Linguistic Tools. Requir. Eng. J. 9, 151 (2004)
Mich, L., Garigliano, R.: Ambiguity Measures in Requirements Engineering. In: International Conference on Software–Theory and Practice (ICS2000), 16th IFIP World Computer Congress, pp. 39—48, Publishing House of Electronics Industry, Beijing, China (2000)
Mich, L., Garigliano, R.: NL-OOPS: A Requirements Analysis Tool Based on Natural Language Processing. In: 3rd International Conference on Data Mining Methods and Databases for Engineering. Witpress, Southampton, UK (2002)
Miller, G.A., Felbaum, C., et al.: WordNet Web Site. Princeton U., Princeton, NJ, USA, http://wordnet.princeton.edu/
Mollá, D., Schwitter, R., Rinaldi, F., Dowdall, J., Hess, M.: ExtrAns: Extracting Answers from Technical Texts. IEEE Intelligent Syst 18, 12–17 (2003)
Nanduri, S., Rugaber, S.: Requirements Validation via Automated Natural Language Parsing. J. Mgmt. Inf. Syst. 12, 9–19 (1996)
Rumbaugh, J.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)
Rupp, C., Goetz, R.: Linguistic Methods of Requirements-Engineering (NLP). In: European Software Process Improvement Conference (EuroSPI), Copenhagen, Denmark (2000), http://www.iscn.com/publications/#eurospi2000
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Popescu, D., Rugaber, S., Medvidovic, N., Berry, D.M. (2008). Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models. In: Paech, B., Martell, C. (eds) Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs. Monterey Workshop 2007. Lecture Notes in Computer Science, vol 5320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89778-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-89778-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89777-4
Online ISBN: 978-3-540-89778-1
eBook Packages: Computer ScienceComputer Science (R0)