Abstract
Requirements expressed in Natural Language are often ambiguous, inconsistent and, not amenable to automated analysis and validation. Formal approaches like mathematical or logical formalism to requirements representation offer possible solution to these problems. However, formal specifications are not widespread in industry as analysts and business users find them difficult to comprehend. In this paper, we present an approach to translate Natural Language representation of requirements to Logical representations. We have used Courteous logic, a non-monotonic form of logic, for the purpose. Our approach is based on syntactic dependency analysis of requirements statements, Norm Analysis Patterns and Grammatical Knowledge Patterns. The analyzed information is stored in frame-based structured representation for the requirements. These structured representations are translated to courteous logic form. We also report the effectiveness of our approach through the case-studies conducted.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Spivey, M.: The Z Notation: A Reference Manual, 2nd edition. Prentice Hall International Series in Computer Science, Upper Saddle River (1992)
Wegner, P.: The Vienna Definition Language. In: ACM Computing Surveys (CSUR) Surveys Homepage archive, vol. 4 Issue 1, pp. 5–63 ACM New York, NY, USA (1972)
Greenspan, S., Borgida, A., Mylopoulos, J.: A requirements modeling language and its logic. Inf. Sys. 11(1), 9–23 (1986)
Mylopoulos, J., Borgida, A., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Sys. 8(4), 325–362 (1990)
Tsai, J.J.P., Weigert, T.: HCLIE: a logic based requirement language for new software engineering paradigms. Softw. Eng. 6(4), 137–151 (1991)
Mylopoulos, J., Borgida, A., Yu, E.: Representing software engineering knowledge. Autom. Softw. Eng. 4(3), 291–317 (1997)
Grosof, B.N.: Courteous Logic Programs: prioritized conflict handling for rules. IBM Research Report RC20836. IBM Research Division, T.J. Watson Research Centre, New York (1997)
Marneffe, M.C., de MacCartney, B., Manning, C.D.: Generating Typed Dependency Parses from Phrase Structure Parses. In: LREC (2006)
Liu, K., Sun, L., Dix, A., Narasipuram, M.: Norm-based agency for designing collaborative information systems. Inf. Sys. 11, 229–247 (2001)
Marshman, E., Morgan, T., Meyer, I.: French patterns for expressing concept relations. Terminology 8(1), 1–29 (2002)
Sharma, R., Biswas, K.K.: Using courteous logic based representations for requirements specification. In: 4th International Workshop on Managing Requirements Knowledge (MaRK 2011), in conjunction with 19th IEEE International Requirements Engineering Conference (RE’11), pp. 12–16 (2011)
Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind Design. MIT Press, Cambridge (1981)
Bhatia, J., Sharma, R., Biswas, K.K., Ghaisas, S.: Using grammatical knowledge patterns for structuring requirements specifications. In: 3rd IEEE International Workshop on Requirements Patterns (RePa’13), in conjunction with 21st IEEE International Requirements Engineering Conference (RE’13), pp. 31–34 (2013)
Salter, A., Liu, K.: Using semantic analysis and norm analysis to model organisations. In: 4th International Conference on Enterprise Information Systems (ICEIS), Spain (2002)
Liu, K., Dix, A.: Norm Governed Agents in CSCW. In: First International Workshop on Computational Semiotics, Paris (1997)
Mulkar, R., Hobbs, J.R., Hovy, E.: Learning from Reading Syntactically Complex Biology Texts. In: AAAI (2007)
Hirschman, L., Gaizauskas, R.: Natural language question answering: the view from here. Nat. Lang. Eng. 7(4), 275–300 (2001)
Gervasi, V., Zowghi, D.: Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Method. 14(3), 277–330 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Sharma, R., Biswas, K.K. (2015). Generating Logical Representations for Natural Language Requirements Using Syntactic Dependencies and Norm Analysis Patterns. In: Biemann, C., Handschuh, S., Freitas, A., Meziane, F., Métais, E. (eds) Natural Language Processing and Information Systems. NLDB 2015. Lecture Notes in Computer Science(), vol 9103. Springer, Cham. https://doi.org/10.1007/978-3-319-19581-0_42
Download citation
DOI: https://doi.org/10.1007/978-3-319-19581-0_42
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19580-3
Online ISBN: 978-3-319-19581-0
eBook Packages: Computer ScienceComputer Science (R0)