A systematic review of transformation approaches between user requirements and analysis models

Requirements Engineering

Volumn 16, Issue 2, 2011, Pages 75-99

  Yue, Tao ^a,b   Briand, Lionel C ^a   Labiche, Yvan ^b  

^a UNIVERSITY OF OSLO   (Norway)

^b CARLETON UNIVERSITY   (Canada)

Author keywords

Analysis model; Natural language; Requirements; Systematic review; Traceability; Transformation

Indexed keywords

ANALYSIS MODELS; NATURAL LANGUAGE; REQUIREMENTS; SYSTEMATIC REVIEW; TRACEABILITY; TRANSFORMATION;

SOFTWARE ENGINEERING;

EMBEDDED SYSTEMS;

EID: 79955933734     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/s00766-010-0111-y     Document Type: Review

References (57)

1. Parsing, http://www.en.wikipedia.org/wiki/Parsing (Last accessed April 2008)
2. Sentence, http://www. en. wikipedia. org/wiki/Sentence (Last accessed April 2008).
3. IEEE Std. 830-1998, IEEE Standard for Software Requirement Specification, 1998.
4. Abbott RJ (1983) Program design by informal English descriptions. Com ACM 26(11): 882-894.
5. Aizenbud-Reshef N, Nolan BT, Shaham-Gafni Y (2006) Model traceability. IBM Syst J 45(3): 515.
6. Ambriola V, Gervasi V (2006) On the systematic analysis of natural language requirements with CIRCE. Autom Softw Eng 13(1): 107-167.
7. Altas Transformation Language (2008) http://www. eclipse. org/m2m/atl/. Last Accessed March 2008.
8. Borgo S, Gangemi A, Guarino N, Masolo C, Oltramari A WonderWeb Deliverable D15 Ontology RoadMap, http://www. wonderweb. semanticweb. org/deliverables/documents/D15. pdf.
9. Bruegge B, Dutoit AH (2004) Object-oriented software engineering using UML, patterns, and Java, 2nd edn. Prentice Hall.
10. Capuchino AM, Juristo N, van de Riet RP (2000) Formal justification in object-oriented modelling: a linguistic approach. Data Knowl Eng 33(1): 25-47.
11. Christiansen H, Have CT, Tveitane K (2007) From use cases to UML class diagram using logic grammars and constraints. In: Proceedings of recent advances in natural language processing, pp 128-132.
12. Czarnecki K, Helsen S (2003) Classification of model transformation approaches. In: Proceedings of OOPSLA workshop on generative techniques in the context of the MDA.
13. Czarnecki K, Helsen S (2006) Feature-based survey of model transformation approaches. IBM Syst J 45(3): 621-645.
14. Diaz I, Pastor O, Matteo A (2005) Modeling interactions using role-driven patterns. In: Proceedings of IEEE international conference on requirements engineering, pp 209-220.
15. Eclipse Foundation, Eclipse Technology Project, http://www. eclipse. org/technology/index. php (Last accessed November 2008).
16. Eclipse Foundation, UML2: EMF-Based UML 2. 0 Metamodel Implementation, http://www. eclipse. org/uml2/ (Last accessed November 2008).
17. Feijs LMG (2000) Natural language and message sequence chart representation of use cases. Inf Softw Technol 42(9): 633-647.
18. Fliedl G, Kop C, Mayr HC, Salbrechter A, Vöhringer J, Weber G, Winkler C (2007) Deriving static and dynamic concepts from software requirements using sophisticated tagging. Data Knowl Eng 61(3): 433-448.
19. Fliedl G, Mayerthaler W, Winkler C, Kop C, Mayr HC (1999) Enhancing requirements engineering by natural language based conceptual predesign. In: Proceedings IEEE international conference on systems, man, and cybernetics, 5, pp 778-783.
20. Grubacher P, Egyed A, Medvidovic N (2004) Reconciling software requirements and architectures with intermediate models. Softw Syst Model 3(3): 235-253.
21. Harmain HM, Gaizauskas R (2003) CM-Builder: a natural language-based CASE tool for object-oriented analysis. Autom Softw Eng 10(2): 157-181.
22. IBM Rational Software Architect, http://www-01. ibm. com/software/awdtools/architect/swarchitect/ (Last accessed March 2009).
23. IBM Model Transformation Framework, IBM, http://www. alphaworks. ibm. com/tech/mtf (Last accessed November 2008).
24. Ilieva MG, Ormandjieva O (2006) Models derived from automatically analyzed textual user requirements. In: Proceedings on software engineering research, management and applications.
25. Insfrán E, Pastor O, Wieringa R (2002) Requirements engineering-based conceptual modelling. Requir Eng 7(2): 61-72.
26. Jouault F, Kurtev I (2006) Transforming models with ATL. Lecture notes in computer science, vol 3844, pp 128.
27. Kermeta, Kermeta metaprogramming environment, http://www. kermeta. org/ (Last accessed August 2009).
28. Kitchenham BA (2007) Guidelines for performing systematic literature reviews in software engineering. EBSE Technical Report EBSE-2007-001.
29. Kleppe A, Warmer J, Bast W (2003) MDA explained-the model driven architecture: practice and promise. Addison-Wesley, Boston.
30. Kruchten P (2003) The rational unified process: an introduction. Addison-Wesley, Reading.
31. Lamsweerde AV (2009) Requirements engineering: from systems goals to UML models to software specifications. Wiley, New Jersey.
32. Larman C (2004) Applying UML and patterns, 3rd edn. Prentice-Hall, New Jersey.
33. Lethbridge TC, Laganiere R (2001) Object-oriented software engineering: practical software development using UML and Java. McGraw-Hill Education, Boston.
34. Liu D (2003) Automating transition from use cases to class model, Thesis, University of Calgary, Department of Electrical and Computer Engineering.
35. Mayr HC, Kop C (2002) A user centered approach to requirements modeling. LNI 12: 75-86.
36. Mich L (1996) NL-OOPS: from natural language to object oriented requirements using the natural language processing system LOLITA. Nat Lang Eng 2(02): 161-187.
37. OMG "OCL 2. 0 Specification" (2003) Object Management Group, Final Adopted Specification ptc/03-10-14.
38. OMG "UML 2. 0 Superstructure Specification" (2005) Object Management Group, http://www. omg. org/spec/UML/2. 0/.
39. OMG "MOF Query/Views/Transformations V1. 0" (2008) Object Management Group, http://www. omg. org/spec/QVT/1. 0/.
40. Overmyer SP, Benoit L, Owen R (2001) Conceptual modeling through linguistic analysis using LIDA. In: ICSE'01, 2001, pp 401-410.
41. Pender T (2003) UML Bible. Wiley, New Jersey.
42. Pressman RS (2005) Software engineering: a practitioner's approach, 6th edn. McGraw-Hill, UK.
43. Rilling J, Charland P, Witte R (2007) Traceability in software engineering-past, present and future. CASCON Workshop, IBM Technical Report.
44. Salbrechter A, Mayr HC, Kop C (2004) Mapping pre-designed business process models to UML. In: Hamza MH (Hrsg.) Proceedings on IASTED international conference on software engineering and applications. Cambrigde, USA.
45. Samarasinghe N, Somé S (2005) Generating a domain model from a use case model. In: Proceedings on intelligent and adaptive systems and software engineering.
46. Sen S, Baudry B, Mottu JM (2008) On combining multi-formalism knowledge to select models for model transformation testing. In: Proceedings of ICST 2008, pp 328-337.
47. Śmiałek M, Bojarski J, Nowakowski W, Ambroziewicz A, Straszak T (2007) Complementary use case scenario representations based on domain vocabularies. In: Proceedings on MoDELS.
48. Somé SS (2003) An approach for the synthesis of State transition graphs from use cases. Proc Softw Eng Res Pract 1: 456-462.
49. Somé SS (2006) Supporting use case based requirements engineering. Inf Softw Technol 48(1): 43-58.
50. Sommerville I (2004) Software engineering, 7th edn. Addison Wesley, Boston.
51. Subramaniam K, Far BH, Eberlein A (2004) Automating the transition from stakeholders' requests to use cases in OOAD. Proc Can Conf Elect Comput Eng 1: 0515-0518.
52. Subramaniam K, Liu D, Far BH, Eberlein A (2004) UCDA: Use case driven development assistant tool for class model generation. In: Proceedings of SEKE'04.
53. Tan HBK, Yang Y, Bian L (2006) Systematic transformation of functional analysis model into OO design and implementation. IEEE TSE 32(2): 111-135.
54. Wahono RS, Far BH (2002) A framework for object identification and refinement process in object-oriented analysis and design. In: Proceedings of cognitive informatics, pp 351-360.
55. Young RR (2001) Effective Requirements Practices. Addison-Wesley, Boston.
56. Yue T, Briand LC, Labiche Y (2009) A use case modeling approach to facilitate the transition towards analysis models: concepts and empirical evaluation. In: Proceedings of MODELS2009.
57. Yue T, Briand LC, Labiche Y (2009) A systematic review of transformation methodologies between user requirements and analysis models. Carleton University, Technical Report SCE-09-03.