Valencia, España
Barcelona, España
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