Giovanni Andrés Giachetti Herrera, Xavier Franch
, Beatriz Marín
, Oscar Pastor López
, Carlos Cares Gallardo
, Lidia López Cuesta
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.
© 2008-2025 Fundación Dialnet · Todos los derechos reservados