Verifying goal-oriented specifications used in model-driven development processes

Vista sencilla de ítem
dc.contributor.authorGiachetti, Giovanni
dc.contributor.authorMarín, Beatriz
dc.contributor.authorLópez, Lidia
dc.contributor.authorFranch, Xavier
dc.contributor.authorPastor, Oscar
dc.date.accessioned2024-09-02T16:18:29Z
dc.date.available2024-09-02T16:18:29Z
dc.date.issued2017-03
dc.descriptionIndexación: Scopus
dc.description.abstractGoal-oriented requirements engineering promotes the use of goals to elicit, elaborate, structure, specify, analyze, negotiate, document, and modify requirements. Thus, goal-oriented specifications are essential for capturing the objectives that the system to be developed should achieve. However, the application of goal-oriented specifications into model-driven development (MDD) processes is still handcrafted, not aligned in the automated flow from models to code. In other words, the experience of analysts and designers is necessary to manually transform the input goal-oriented models into system models for code generation (models compilation). Some authors have proposed guidelines to facilitate and partially automate this translation, but there is a lack of techniques to assess the adequacy of goal-oriented models as starting point of MDD processes. In this paper, we present and evaluate a verification approach that guarantees the automatic, correct, and complete transformation of goal-oriented models into design models used by specific MDD solutions. In particular, this approach has been put into practice by adopting a well-known goal-oriented modeling approach, the i* framework, and an industrial MDD solution called Integranova. © 2016 Elsevier Ltd
dc.description.urihttps://www-sciencedirect-com.recursosbiblioteca.unab.cl/science/article/pii/S0306437915300478?via%3Dihub
dc.identifier.citationInformation Systems Volume 64, Pages 41 - 621 March 2017
dc.identifier.doi10.1016/j.is.2016.06.011
dc.identifier.issn0306-4379
dc.identifier.urihttps://repositorio.unab.cl/handle/ria/59712
dc.language.isoen
dc.publisherElsevier Ltd
dc.rights.licenseAtribución/Reconocimiento 4.0 Internacional
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/deed.es
dc.subjectGoal-oriented requirements
dc.subjecti* framework
dc.subjectModel-driven development
dc.subjectVerification approach
dc.titleVerifying goal-oriented specifications used in model-driven development processes
dc.typeArtículo
Archivos
Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
TEXTO EN INGLES
Tamaño:
1.67 MB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
1.71 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar
Colecciones
FIng - Artículos de Revista