.png){kind=icon}
返回
Verifying goal-oriented specifications used in model-driven development processes
.png){kind=icon}
OA
AI
DOI：10.1016/j.is.2016.06.011.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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 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.
Keyword:
Model-driven development
Verification approach
Goal-oriented requirements
i* framework
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.9
论文数:
2.8K
被引数:
1.8K
机构
引用论文
Dissipation ofβ-cyfluthrin by two fungiAspergillus nidulansvar.dentatusandSepedonium maheswariumβ-氯氟氰菊酯在两种真菌Aspergillus nidulans var. dentatus 和Sepedonium maheswarium中的降解
PREAI
分享收藏Final-state pseudopotential theory for the Ge 3dcore-level shifts on the Ge/Si(100)-(2×1) surfaceOAAI
OAAI分享收藏smdi: an R package to perform structural missing data investigations on partially observed confounders in real-world evidence studies.png)
JAMIA Open
OAAI
JAMIA OpenIF0
OAAI分享收藏
查看更多内容