Using Measures to Improve i* Models for Automatic Interoperability in Model-Driven Development Processes * Giovanni Giachetti 1 , Xavier Franch 2 , Beatriz Marín 1 , Oscar Pastor 1 , Carlos Cares 2 , Lidia López 2 1 Centro de Investigación en Métodos de Producción de Software Universitat Politècnica de València Camino de Vera s/n, 46022 Valencia, Spain {ggiachetti, bmarin, opastor}@pros.upv.es 2 Grupo de investigación en Ingeniería del Software para los Sistemas de Información Universitat Politècnica de Catalunya (UPC) UPC-Campus Nord, Omega-122, 08034 Barcelona, Spain franch@essi.upc.edu, {ccares, llopez}@lsi.upc.edu Abstract. 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 MDD- models can be automatically generated, which guarantees the completeness of the obtained software models in relation to the requirement specification. Keywords: DSM, MDD, Verification, i* Framework, i-Star, interoperability. 1 Introduction In general terms, the Model-Driven Development (MDD) [1] approaches propose the automatic generation of software products through the automatic transformation of the defined software models into the final program code. Thus, MDD is oriented to reduce (or even eliminate) the hand-made programming, which is an error-prone and time-consuming task. In this context, interoperability can be considered as a natural trend for the future of model-driven technologies, where different modeling approaches * Acknowledgments. This work has been supported by MICINN under projects TIN2010- 19130-C02-01, TIN2010-19130-C02-02, and PTA2008-1443-P. Co-financed with ERDF