Contextual Natural Language Processing and DAML for Understanding Software Requirements Specifications

In software engineering a system requirements document written in a natural language (NL) needs to be translated into one of the formal specification languages for system execution. When this translation is to be automated, resolution of the ambiguity in the document and explicit definition of implicit domain knowledge are necessary. In our approach, Contextual Natural Language Processing is used to overcome the ambiguity and the domain knowledge is expressed in DARPA Agent Markup Language (DAML). The result is a formal representation of the informal requirements in NL for prototyping and even for implementation.

[1]  James H. Martin,et al.  Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition , 2000 .

[2]  Beum-Seuk Lee,et al.  Two-level grammar as an object-oriented requirements specification language , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[3]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[4]  James H. Martin,et al.  Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition, 2nd Edition , 2000, Prentice Hall series in artificial intelligence.

[5]  Terry Quatrani.  Visual modeling with Rational Rose 2000 and UML (2nd ed.) , 2000 .

[6]  Norbert E. Fuchs,et al.  Attempto Controlled English (ACE) , 1996, ArXiv.

[7]  Terry Quatrani.  Visual modelling with Rational Rose 2000 and UML , 1998 .

[8]  Dines Bjørner,et al.  The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[9]  Gerhard Lakemeyer,et al.  Foundations of Knowledge Representation and Reasoning , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[10]  Barrett R. Bryant,et al.  Object-oriented natural language requirements specification , 2000, Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518).

[11]  William Wilson,et al.  Automated quality analysis of Natural Language requirement specifications , 1996 .

[12]  Carl Pollard,et al.  A Centering Approach to Pronouns , 1987, ACL.

[13]  Ian Horrocks,et al.  The Semantic Web: The Roles of XML and RDF , 2000, IEEE Internet Comput..

[14]  Scott Weinstein,et al.  Providing a Unified Account of Definite Noun Phrases in Discourse , 1983, ACL.

[15]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[16]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..