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

作者：

Highlights：

• An approach to verify the completeness of model transformations is defined.

• The approach is applied to goal-oriented used in MDD processes.

• The approach provides quantitative information about modeling issues.

• Counts with a process for the definition of verification and model-fixing artifacts.

• An experiment is performed to evaluate the verification approach.

摘要

•An approach to verify the completeness of model transformations is defined.•The approach is applied to goal-oriented used in MDD processes.•The approach provides quantitative information about modeling issues.•Counts with a process for the definition of verification and model-fixing artifacts.•An experiment is performed to evaluate the verification approach.

论文关键词：Model-driven development,Verification approach,Goal-oriented requirements,i* framework

论文评审过程：Received 8 August 2015, Revised 18 June 2016, Accepted 25 June 2016, Available online 5 October 2016, Version of Record 20 October 2016.

论文官网地址：https://doi.org/10.1016/j.is.2016.06.011