Using measures to improve i* models for automatic interoperability in model-driven development processes

The use of requirement modeling approaches in model-driven development (MDD) is a relevant topic that has received special attention during the last years. However, there still are several issues that must be taken into account to obtain a sound interoperability of requirement models in MDD processes. Among these, the generation of appropriate input artifacts for model compilation processes from the requirement artifacts defined is a key aspect to be faced. In this paper, we tackle this issue with an approach for the definition of specific measures that are used to verify i* models for the automatic interoperability with MDD processes. From the definition and execution of these verification measures, relevant information for identifying and fixing i* interoperability issues is obtained. From the improved i* models, initial MDDmodels can be automatically generated, which guarantees the completeness of the obtained software models in relation to the requirement specification.

[1]  Márcia Lucena,et al.  Towards a unified metamodel for i* , 2008, 2008 Second International Conference on Research Challenges in Information Science.

[2]  Xavier Franch,et al.  Incorporating Modules into the i* Framework , 2010, CAiSE.

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

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

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

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

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

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

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

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

[11]  Oscar Pastor,et al.  Automatic Verification of Requirement Models for Their Interoperability in Model-Driven Development Processes , 2011 .

[12]  Daniel Amyot,et al.  A Lightweight GRL Profile for i* Modeling , 2009, ER Workshops.

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

[14]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[15]  Lidia Fuentes-Fernández,et al.  An Introduction to UML Profiles , 2004 .

[16]  Oscar Pastor,et al.  Improving Automatic UML2 Profile Generation for MDA Industrial Development , 2008, ER Workshops.

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

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

[19]  Carme Quer,et al.  A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages , 2005, SEKE.

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

[21]  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.

[22]  Xavier Franch,et al.  A Method for the Definition of Metrics over i* Models , 2009, CAiSE.

[23]  Patrick Valduriez,et al.  Towards the efficient development of model transformations using model weaving and matching transformations , 2009, Software & Systems Modeling.