An overview of ProjectIT-RSL metamodel and prototype

Software requirements engineering is an essential activity for the successful development of information systems. The techniques used to specify software requirements range from those that use formal notations to those based upon the use of natural language. In this paper we describe the metamodel of a new controlled natural language for requirements specification, called ProjectIT-RSL, which was defined after the identification of the most common linguistic patterns used in requirements documents written in natural language. The initial version of the language was implemented in a prototype built using the Visual Studio .NET development environment, which enabled the development of a set of tools to validate the syntactic and semantic rules of requirements texts written in the ProjectIT-RSL language.

[1]  Stephen Pulman.  Natural Language Processing for Requirements Specification , 1993 .

[2]  Spencer Rugaber,et al.  Requirements validation via automated natural language parsing , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[3]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[4]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

[5]  Ian Sommerville,et al.  Requirements Engineering: Processes and Techniques , 1998 .

[6]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[7]  Axel van Lamsweerde,et al.  Deriving operational software specifications from system goals , 2002, SIGSOFT '02/FSE-10.

[8]  Carlos Videira,et al.  Patterns and metamodel for a natural-language-based requirements specification language , 2005, CAiSE Short Paper Proceedings.

[9]  Ana Moreira,et al.  Formal Specifications of User Requirements , 1999, Automated Software Engineering.

[10]  Stefania Gnesi,et al.  Applications of linguistic techniques for use case analysis , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[11]  Erik Kamsties,et al.  Ambiguity in Requirements Specification , 2004 .

[12]  Natalia Juristo Juzgado,et al.  A formal approach for generating oo specifications from natural language , 1999, J. Syst. Softw..

[13]  Camille Salinesi,et al.  Guiding Scenario Authoring , 1998, EJC.

[14]  Axel van Lamsweerde,et al.  Formal specification: a roadmap , 2000, ICSE '00.

[15]  John Mylopoulos,et al.  Capturing more world knowledge in the requirements specification , 1982, ICSE '82.

[16]  Alberto Rodrigues da Silva,et al.  The XIS generative programming techniques , 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

[17]  Russ Abbott.  Program design by informal English descriptions , 1983, CACM.

[18]  Jeffrey G. Gray,et al.  From Natural Language Requirements to Executable Models of Software Components , 2003 .

[19]  Carlos Videira,et al.  ProjectIT-Requirements , a Formal and User-oriented Approach to Requirements Specification , 2004 .

[20]  Oscar Pastor,et al.  From early requirements to user interface prototyping: a methodological approach , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[21]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[22]  Richard C. Waters,et al.  The Requirements Apprentice: Automated Assistance for Requirements Acquisition , 1991, IEEE Trans. Software Eng..

[23]  Bashar Nuseibeh,et al.  Lightweight validation of natural language requirements , 2002, Softw. Pract. Exp..

[25]  Owen Rambow,et al.  Conceptual modeling through linguistic analysis using LIDA , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[26]  Carlos Videira,et al.  A broad vision of ProjectIT-Requirements, a new approach for Requirements Engineering , 2004 .

[27]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[28]  Carlos Videira,et al.  The ProjectIT-RSL Language Overview , 2004, UML Satellite Activities.