Abstract
Requirements are designed to specify the features of systems. Even for a simple system, several thousands of requirements produced by different authors are often needed. It is then frequent to observe overlap and incoherence problems. In this paper, we propose a method to construct a corpus of various types of incoherences and a categorization that leads to the definition of patterns to mine incoherent requirements. We focus in this contribution on incoherences (1) which can be detected solely from linguistic factors and (2) which concern pairs of requirements. These represent about 60% of the different types of incoherences; the other types require extensive domain knowledge and reasoning.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Fontan, L., Saint-Dizier, P.: Analyzing the explanation structure of procedural texts: dealing with advices and warnings. In: STEP Conference, Venice (2008)
Fuchs, N.E.: First-order reasoning for attempto controlled English. In: Rosner, M., Fuchs, N.E. (eds.) CNL 2010. LNCS, vol. 7175, pp. 73–94. Springer, Heidelberg (2012). doi:10.1007/978-3-642-31175-8_5
Grady, J.O.: System Requirements Analysis. Academic Press, Orlando (2006)
Hull, E., Jackson, K., Dick, J.: Requirements Engineering. Springer, London (2011)
Kang, J., Saint-Dizier, P.: Discourse structure analysis for requirement mining. Int. J. Knowl. Content Dev. Technol. 3(2), 43–65 (2013)
Kloetzer, J., De Saeger, S.: Two-stage method for large-scale acquisition of contradiction pattern pairs using entailment. In: Proceedings EMNLP 2013 (2013)
Kuhn, T.: A principled approach to grammars for controlled natural languages and predictive editors. J. Logic Lang. Inf. 22(1), 33–70 (2013)
Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121–170 (2014)
De Marneffe, M.C., Rafferty, A.N.: Manning CD finding contradictions in text. In: ACL-HLT 2008 (2008)
O’Brien, S.: Controlling controlled English–an analysis of several controlled language rule sets. School of Applied Language and Inter-cultural Studies, Dublin City University (2003)
Saint-Dizier, P.: Processing natural language arguments with the \(<\)TextCoop\(>\) platform. J. Argumentation Comput. 3(1), 49–82 (2012)
Saito, M., Yamamoto, K., Sekine, S.: Using phrasal patterns to identify discourse relations. In: ACL 2006 (2006)
Schriver, K.A.: Evaluating text quality: the continuum from text-focused to reader-focused methods. IEEE Trans. Prof. Commun. 32, 238–255 (1989)
Unwalla, M.: AECMA simplified English (2004). http://www.techscribe.co.uk/ta/aecma-simplified-english.pdf
Weiss, E.H.: How to Write Usable User Documentation. The Oryx Press, Westport (1991)
Wojcik, R.H., James, E.H.: Controlled languages in Industry, in survey of the state of the art in human language technology, Chap. 7 (1996). http://www.lt-world.org/hlt-survey/ltw-chapter7-6.pdf
Wyner, A., Angelov, K., Barzdins, G., Damljanovic, D., Davis, B., Fuchs, N., Hover, S., Jones, K., Kaljurand, K., Kuhn, T., Luts, M., Pool, J., Rosner, M., Schwitter, R., Sowa, J.: Properties and prospects. http://wyner.info/research/Papers/CNLP&P.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Saint-Dizier, P. (2017). Mining Incoherent Requirements in Technical Specifications. In: Frasincar, F., Ittoo, A., Nguyen, L., Métais, E. (eds) Natural Language Processing and Information Systems. NLDB 2017. Lecture Notes in Computer Science(), vol 10260. Springer, Cham. https://doi.org/10.1007/978-3-319-59569-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-59569-6_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-59568-9
Online ISBN: 978-3-319-59569-6
eBook Packages: Computer ScienceComputer Science (R0)