[论文解读] Metamodel Quality Requirements and Evaluation (MQuaRE)

Taciana Novo Kudo, Renato F. Bulcão-Neto+1 more|arXiv (Cornell University)|Aug 19, 2020

Model-Driven Software Engineering Techniques参考文献 7被引用 6

一句话总结

本文提出了 MQuaRE，一个用于评估模型驱动软件工程（MDSD）中元模型质量的综合性框架。该框架整合了质量需求、质量模型、可度量标准以及评估流程，基于 ISO/IEC 25000 标准，提供了一套系统化、可重用的方法，用于评估和提升元模型质量，从而增强终端模型的可靠性和可维护性。

ABSTRACT

Models are the primary artifacts of model-driven software engineering (MDSD) [1], and a terminal model is a representation that conforms to a given software metamodel [2, 3]. As the quality of a software metamodel directly impacts the quality of terminal models, software metamodel quality is an essential aspect of MDSD. However, the literature reports a few proposals for metamodel quality evaluation, but most lack a general solution for the quality issue. Some efforts focus on quality measures [4], a quality evaluation model [5], or a quality evaluation model with structural measures borrowed from OO design [6, 7, 8]. Thus, we support there is a need for a more thorough solution for metamodel quality evaluation, with potential benefits to MDSD in general. This document describes a metamodel quality evaluation framework called MQuaRE (Metamodel Quality Requirements and Evaluation). MQuaRE is an integrated framework composed of metamodel quality requirements, a metamodel quality model, metamodel quality measures, and an evaluation process, with a great contribution of the ISO/IEC 25000 series [9] for software product quality evaluation.

研究动机与目标

• 为解决模型驱动软件工程（MDSD）中元模型质量评估缺乏通用、系统化解决方案的问题。
• 识别并形式化元模型质量需求，以确保终端模型的高质量。
• 开发一个整合质量需求、质量模型、可度量标准以及可重复流程的全面评估框架。
• 以 ISO/IEC 25000 系列为基础，实现元模型质量评估的标准化。
• 提供一种可重用且可扩展的解决方案，支持在多种元建模场景中实现一致的评估。

提出的方法

• 该框架整合了四个核心组件：元模型质量需求、元模型质量模型、质量度量指标以及评估流程。
• 借鉴 ISO/IEC 25000 系列软件产品质量标准，定义适用于元模型的质量特性。
• 质量需求源自软件工程最佳实践与标准，聚焦于正确性、完备性和一致性等属性。
• 质量模型通过分层结构将抽象的质量特性映射为具体、可度量的指标。
• 评估流程支持使用既定度量指标与需求对元模型进行系统化评估。
• 该框架设计为可扩展，适用于不同的建模语言和 MDSD 应用场景。

实验结果

研究问题

• RQ1 元模型必须满足哪些关键质量需求，才能确保终端模型的高质量？
• RQ2 如何定义并构建一种标准化、系统化的元模型质量评估模型？
• RQ3 可以采用哪些可度量的指标，以一致且可重复的方式评估元模型质量？
• RQ4 如何将现有的软件质量标准（如 ISO/IEC 25000）适配用于元模型评估？
• RQ5 所提出的框架在多大程度上可应用于不同建模语言和 MDSD 应用场景？

主要发现

• MQuaRE 提供了一个全面、集成的框架，整合了元模型的质量需求、质量模型、可度量标准以及可重复的评估流程。
• 该框架基于 ISO/IEC 25000 系列，确保与既定的软件质量标准保持一致。
• 通过形式化质量需求与度量指标，MQuaRE 实现了元模型质量的系统化与可重复评估。
• 该框架通过更优的元模型设计，支持提升终端模型的一致性、正确性与可维护性。
• MQuaRE 提供了一种可重用且可扩展的解决方案，适用于多种建模语言和 MDSD 工具链。
• 整合面向对象设计原则中的结构质量度量，增强了该框架的实际适用性。