Skip to main content

Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models

  • Conference paper
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs (Monterey Workshop 2007)

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

Included in the following conference series:

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.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abbott, R.J.: Program Design by Informal English Descriptions. Comm. ACM 26, 882–894 (1983)

    Article  MATH  Google Scholar 

  2. 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)

    Article  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Fuchs, N.E., Schwitter, R.: Attempto Controlled English (ACE). In: 1st International Workshop On Controlled Language Applications (CLAW), Leuven, Belgium, pp. 124–136 (1996)

    Google Scholar 

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

    Google Scholar 

  11. Gemini Natural-Language Understanding System, http://www.ai.sri.com/natural-language/projects/arpa-sls/nat-lang.html

  12. Gervasi, V., Nuseibeh, B.: Lightweight Validation of Natural Language Requirements. Softw., Pract. & Exper. 32, 113–133 (2002)

    Article  MATH  Google Scholar 

  13. Graphviz–Graph Visualization Software Home Page, http://www.graphviz.org/Credits.php

  14. Grishman, R.: Information Extraction: Techniques and Challenges. In: Pazienza, M.T. (ed.) SCIE 1997. LNCS, vol. 1299. Springer, Heidelberg (1997)

    Google Scholar 

  15. 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)

    Article  Google Scholar 

  16. Heimdahl, M.: An Example: The Lift (Elevator) Problem, http://www-users.cs.umn.edu/heimdahl/formalmodels/elevator.htm

  17. Juristo, N., Moreno, A.M., Lopez, M.: How to Use Linguistic Instruments For Object-Oriented Analysis. IEEE Softw. 17, 80–89 (2000)

    Article  Google Scholar 

  18. 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)

    Article  Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. Mich, L., Franch, M., Novi Inverardi, L.: Market Research for Requirements Analysis Using Linguistic Tools. Requir. Eng. J. 9, 151 (2004)

    Article  Google Scholar 

  25. 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)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. Miller, G.A., Felbaum, C., et al.: WordNet Web Site. Princeton U., Princeton, NJ, USA, http://wordnet.princeton.edu/

  28. Mollá, D., Schwitter, R., Rinaldi, F., Dowdall, J., Hess, M.: ExtrAns: Extracting Answers from Technical Texts. IEEE Intelligent Syst 18, 12–17 (2003)

    Article  Google Scholar 

  29. Nanduri, S., Rugaber, S.: Requirements Validation via Automated Natural Language Parsing. J. Mgmt. Inf. Syst. 12, 9–19 (1996)

    Article  Google Scholar 

  30. Rumbaugh, J.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)

    MATH  Google Scholar 

  31. 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

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics