[论文解读] Evidences of the mismatch between industry and academy on modelling language quality evaluation

Fáber D. Giraldo, Sergio España+1 more|arXiv (Cornell University)|Jun 7, 2016

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

一句话总结

本文揭示了工业界与学术界在模型驱动工程（MDE）中对建模语言质量评估的视角存在显著脱节。通过对38份工业界资料和14份学术界资料的分析，发现工业界更关注工具成熟度、代码质量和集成复杂性等实际问题，而学术界则更强调理论框架、形式化语义和可扩展性——这种关键的不一致严重阻碍了MDE的采纳。

ABSTRACT

Quality is an implicit property of models and modelling languages by their condition of engineering artifacts. However, the quality property is affected by the diversity of conceptions around the model-driven paradigm. In this document is presented a report of quality issues on modelling languages and models. These issues result from an analysis about quality evidences obtained from industrial and academic/scientific contexts.

研究动机与目标

• 调查工业界与学术界在MDE中对建模语言质量评估视角脱节的问题。
• 识别并分类工业实践与学术研究中报告的关键质量议题。
• 分析工业界与学术界在工具成熟度和代码质量等优先事项与形式化语义及可扩展性等优先事项上的差异，如何影响MDE的采纳。
• 提供基于证据的见解，揭示有效建模语言评估所面临的实际与理论挑战。
• 支持开发更趋一致、更符合实际且面向工业界的建模语言评估框架。

提出的方法

• 从38份工业界资料（期刊论文、技术报告、网页内容）和14份学术界资料（期刊、会议、研讨会论文）中系统提取质量议题。
• 将议题归类为工具复杂性、模型与代码一致性、可扩展性等主题。
• 识别每份资料中明确支持所检测质量议题的陈述。
• 通过引用文献的主题分析，比较工业界与学术界的关注点。
• 使用引文分析追踪质量议题在工业界与学术界语境中的演变过程。
• 将议题映射到具体的MDE挑战，如模型演化、工具不成熟以及互操作性缺失。

实验结果

研究问题

• RQ1 工业界实践者在MDE采纳过程中报告的主要质量议题是什么？
• RQ2 与工业实践相比，学术研究界如何界定并应对建模语言质量议题？
• RQ3 工业界与学术界在评估建模语言质量时的关键差异是什么？
• RQ4 工业界关注的工具复杂性和代码质量等议题，与学术界在模型语义和形式化验证方面的研究在多大程度上一致？
• RQ5 模型过时、工具不成熟以及互操作性缺失等问题在多大程度上影响了不同语境下的MDE采纳？

主要发现

• 工业界实践者报告称，MDE的采纳受到工具不成熟、学习曲线陡峭以及与现有开发实践集成困难的阻碍。
• 工业界的主要关切是模型与生成代码之间缺乏对齐，模型经常变得过时或与实现不一致。
• 工业界认为建模工具是‘重量级’的——安装、学习、配置和使用均复杂，导致采纳阻力。
• 学术研究强调形式化语义、行为建模和大规模系统的可扩展性，但这些议题在工业报告中代表性不足。
• 在模型质量框架的可操作化方面存在显著差距，学术界呼吁在元模型中更好地支持时间语义和行为语义。
• 一些曾具前景的MDE工具（如ArcStyler和OptimalJ）因技术和商业挑战而衰落，凸显了工具生态系统的不稳定性。