Verifying goal-oriented specifications used in model-driven development processes
Visualitza/Obre
Cita com:
hdl:2117/95943
Tipus de documentArticle
Data publicació2017-03-01
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
Goal-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 goaloriented 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.
CitacióGiachetti, G., Marín, B., López, L., Franch, X., López, O. Verifying goal-oriented specifications used in model-driven development processes. "Information systems", 1 Març 2017, vol. 64, p. 41-62.
ISSN0306-4379
Versió de l'editorhttp://www.sciencedirect.com/science/article/pii/S0306437915300478
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
GORE-MDD_VerificationModel_2ndRev_sent.pdf | 1,700Mb | Visualitza/Obre |