On the generation of requirements specifications from software engineering models: A systematic literature review

System and software requirements documents play a crucial role in software engineering in that they must both communicate requirements to clients in an understandable manner and define requirements in precise detail for system developers. The benefits of both lists of textual requirements (usually written in natural language) and software engineering models (usually specified in graphical form) can be brought together by combining the two approaches in the specification of system and software requirements documents. If, moreover, textual requirements are generated from models in an automatic or closely monitored form, the effort of specifying those requirements is reduced and the completeness of the specification and the management of the requirements traceability are improved. This paper presents a systematic review of the literature related to the generation of textual requirements specifications from software engineering models.

[1]  Dalal Alrajeh,et al.  Inferring operational requirements from scenarios and goal models using inductive learning , 2006, SCESM '06.

[2]  Robin F. Goldsmith.  Discovering Real Business Requirements for Software Project Success , 2004 .

[3]  David A. Burke,et al.  Translating Formal Software Specifications to Natural Language , 2005, LACL.

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

[5]  Neil A. M. Maiden,et al.  Developing use cases and scenarios in the requirements process , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[6]  Owen Rambow,et al.  The ModelExplainer , 1996, INLG.

[7]  Betty H. C. Cheng,et al.  Research Directions in Requirements Engineering , 2007, Future of Software Engineering (FOSE '07).

[8]  Keith Phalp,et al.  Deriving requirements from process models via the problem frames approach , 2005, Inf. Softw. Technol..

[9]  Björn Regnell,et al.  Guest editorial: 10th anniversary workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’2004) , 2005, Requirements Engineering.

[10]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[11]  Augusto Sampaio,et al.  Formal Specification Generation from Requirement Documents , 2006, SBMF.

[12]  Sidney L. Smith.  Patterned prose for automatic specification generation , 1982, CHI '82.

[13]  James Lockerbie,et al.  Using /'* in Requirements Projects: Some Experiences and Lessons , 2011, Social Modeling for Requirements Engineering.

[14]  Wolfgang Emmerich,et al.  The future of requirements management tools , 2000 .

[15]  Neil A. M. Maiden,et al.  Rich-media scenarios for discovering requirements , 2005, IEEE Software.

[16]  Pearl Brereton,et al.  Performing systematic literature reviews in software engineering , 2006, ICSE.

[17]  Brian Berenbach,et al.  The automated extraction of requirements from UML models , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[18]  Wolfgang Emmerich,et al.  Literate Modelling - Capturing Business Knowledge with the UML , 1998, UML.

[19]  Neil A. M. Maiden,et al.  Determining socio-technical systems requirements: experiences with generating and walking through scenarios , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[20]  Shailey Minocha,et al.  CREWS-SAVRE: systematic scenario generation and use , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[21]  Axel van Lamsweerde,et al.  Deriving tabular event-based specifications from goal-oriented requirements models , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[22]  Axel van Lamsweerde,et al.  Deriving tabular event-based specifications from goal-oriented requirements models , 2004, Requirements Engineering.

[23]  Donald Firesmith,et al.  Engineering Security Requirements , 2003, J. Object Technol..

[24]  Craig Larman,et al.  Applying UML and patterns , 1997 .

[25]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[26]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[27]  John Mylopoulos,et al.  From Organization Models to System Requirements: A 'Cooperating Agents' Approach , 1995, CoopIS.

[28]  M. Schlick,et al.  Knowledge Engineering in Software Product Lines , 2000 .

[29]  Camille Salinesi,et al.  Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[30]  Axel van Lamsweerde,et al.  Inferring Declarative Requirements Specifications from Operational Scenarios , 1998, IEEE Trans. Software Eng..

[31]  Brian Berenbach,et al.  Comparison of UML and text based requirements engineering , 2004, OOPSLA '04.

[32]  Ian Sommerville,et al.  Software Engineering (7th Edition) , 2004 .

[33]  Camille Salinesi,et al.  RED-PL, a Method for Deriving Product Requirements from a Product Line Requirements Model , 2007, CAiSE.

[34]  Daniel Diaz,et al.  Deriving Product Line Requirements: the RED-PL Guidance Approach , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[35]  Sophia Ananiadou,et al.  Generating Natural Language specifications from UML class diagrams , 2008, Requirements Engineering.

[36]  Timo Käkölä,et al.  Software Product Lines - Research Issues in Engineering and Management , 2006 .

[37]  David A. Burke,et al.  Translating Formal Software Specifications to Natural Language A Grammar-Based Approach , 2005 .

[38]  Annie I. Antón,et al.  The use of goals to surface requirements for evolving systems , 1998, Proceedings of the 20th International Conference on Software Engineering.

[39]  Neil A. M. Maiden,et al.  Exploring Scenario Forms and Ways of Use to Discover Requirements on Airports that Minimize Environmental Impact , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[40]  Henrik Eriksson.  The semantic-document approach to combining documents and ontologies , 2007, Int. J. Hum. Comput. Stud..

[41]  Alan M. Davis,et al.  Just Enough Requirements Management: Where Software Development Meets Marketing , 2005 .

[42]  Donald Firesmith,et al.  Modern Requirements Specification , 2003, J. Object Technol..

[43]  Paula Gomes Mian,et al.  Systematic Review in Software Engineering , 2005 .

[44]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[45]  Ramin Tavakoli Kolagari,et al.  Reusing requirements: the need for extended variability models , 2007, FSEN'07.

[46]  Sara Jones,et al.  Generating requirements from systems models using patterns: a case study , 2005, Requirements Engineering.

[47]  Donald Firesmith,et al.  Generating Complete, Unambiguous, and Verifiable Requirements from Stories, Scenarios, and Use Cases , 2004, J. Object Technol..

[48]  Paul Grünbacher,et al.  Involving Non-Technicians in Product Derivation and Requirements Engineering: A Tool Suite for Product Line Engineering , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[49]  Klaus Pohl,et al.  Scenario-Based Application Requirements Engineering , 2006, Software Product Lines.

[50]  Axel van Lamsweerde,et al.  Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering] , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[51]  Onur Demirörs,et al.  Automating Software Requirements Generation from Business Process Models , 2011 .

[52]  Jim Arlow,et al.  Enterprise Patterns and MDA: Building Better Software with Archetype Patterns and UML , 2003 .

[53]  Neil A. M. Maiden,et al.  The Mobile Scenario Presenter: A Tool for in situ Requirements Discovery with Scenarios , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[54]  Jens Stumpe,et al.  Another Motivation for Usage Models : Generation of User Documentation , 1998 .

[55]  Pearl Brereton,et al.  Systematic literature reviews in software engineering - A systematic literature review , 2009, Inf. Softw. Technol..