Using Measures for Verifying and Improving Requirement Models in MDD Processes

It is well known that an appropriate requirement specification is essential for the success of software development projects. In the model-driven development context, the requirement models can be used as entry artifacts for aligning the final software products with the stakeholders' needs. Thus, it is necessary to solve any modeling issue that may prevent the correct translation of the input requirement artifacts, i.e., the requirement models need to be verified for assuring the completeness of the design (MDD-oriented) models generated. In this paper, we face this issue by presenting an approach to integrate specific measures that automate the verification of a goal-oriented requirement approach - the i* framework - in the context of a MDD development process.

[1]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[2]  Oscar Pastor,et al.  Model-driven architecture in practice - a software production environment based on conceptual modeling , 2007 .

[3]  Daniel Amyot,et al.  Evaluating goal models within the goal‐oriented requirement language , 2010, Int. J. Intell. Syst..

[4]  Oscar Pastor,et al.  Linking Goal-Oriented Requirements and Model-Driven Development , 2010, Intentional Perspectives on Information Systems Engineering.

[5]  Steven Kelly,et al.  Domain-Specific Modelling for Cross-Platform Product Families , 2002, ER.

[6]  Oscar Pastor,et al.  Applying a Functional Size Measurement Procedure for Defect Detection in MDD Environments , 2009, EuroSPI.

[7]  C. Rolland,et al.  GUIDING GOAL MODELLING USING SCENARIOS , 1998 .

[8]  Peri L. Tarr,et al.  Model-driven development : The good , the bad , and the ugly & , 2006 .

[9]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[10]  Cristina Cachero,et al.  A UML Profile for Modelling Measurable Requirements , 2008, ER Workshops.

[11]  Miguel A. Laguna,et al.  Requirements variability models: meta-model based transformations , 2005, MIS '05.

[12]  Eric Yu,et al.  Improving Requirements Specifications in Model-Driven Development Processes , 2008 .

[13]  Xavier Franch,et al.  Towards a Catalogue of Patterns for defining Metrics over i* Models , 2008, JISBD.

[14]  Silvia Mara Abrahão,et al.  A systematic review of the use of requirements engineering techniques in model-driven development , 2010, MODELS'10.

[15]  Alain Abran,et al.  A framework for the design and verification of software measurement methods , 2008, J. Syst. Softw..

[16]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[17]  Bernhard Rumpe,et al.  Domain specific modeling , 2005, Software & Systems Modeling.

[18]  Colette Rolland,et al.  Guiding Goal Modeling Using Scenarios , 1998, IEEE Trans. Software Eng..

[19]  Paolo Giorgini,et al.  Goal-oriented requirement analysis for data warehouse design , 2005, DOLAP '05.

[20]  William C. Chu,et al.  A Requirement Tool to Support Model-Based Requirement Engineering , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[21]  Mario Piattini,et al.  A Survey of Metrics for UML Class Diagrams , 2005, J. Object Technol..

[22]  Aniruddha S. Gokhale,et al.  Domain-Specific Modeling , 2008, Handbook of Dynamic System Modeling.

[23]  Daniel Gross,et al.  From Non-Functional Requirements to Design through Patterns , 2001, Requirements Engineering.

[24]  Oscar Pastor,et al.  From i* Requirements Models to Conceptual Models of a Model Driven Development Process , 2009, PoEM.

[25]  H. D. Rombach,et al.  The Goal Question Metric Approach , 1994 .

[26]  Oscar Pastor,et al.  Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles , 2009, CAiSE.

[27]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[28]  Eric Yu,et al.  Modeling Strategic Relationships for Process Reengineering , 1995, Social Modeling for Requirements Engineering.

[29]  Vicente Pelechano,et al.  The Conceptual Model Is The Code. Why Not? , 2013, Seminal Contributions to Information Systems Engineering.

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

[31]  Yijun Yu,et al.  Requirements-driven design of autonomic application software , 2016, CASCON.

[32]  Tong Yi,et al.  A comparison of metrics for UML class diagrams , 2004, SOEN.