paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT

放大镜下的模型转换语言:Xtend、ATL 与 QVT 的受控实验
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 1/10 · 论文是模型转换语言(ATL、QVT-O、Xtend)的对照实验,属于建模与领域特定语言的实证研究,与用户关注的静态分析、LLM/Agent 用于程序分析、浮点程序分析及贝叶斯程序分析均无直接交叉。引用 21 inbox
Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wąsowski
crossref: 2026-09-12

AI 速览

一句话:大规模对照实验比较模型转换语言 ATL、QVT-O 与通用语言 Xtend,未发现专用语言整体显著优势,但揭示其部分任务优势。

该文关注模型驱动开发中专用模型转换语言是否比现代通用语言更高效。作者开展大规模受控实验,78 余名参与者使用 ATL、QVT-O 和 Xtend 完成 231 个任务,涵盖理解、修改和创建三类常见开发活动。结果表明,与通用语言 Xtend 相比,专用转换语言在整体上没有统计显著收益;不过,在复制对象、识别上下文以及依据类型条件化计算等方面,领域专用转换语言确实表现出帮助。研究还揭示了 ATL 与 QVT-O 的共性与差异。

问题
模型驱动开发中,专用模型转换语言被期望比通用语言更高效,但其实际收益缺乏大规模实证证据。
方法
开展包含 78 余名受试者、231 个任务的受控实验,让受试者用 ATL、QVT-O、Xtend 完成理解、修改和创建模型转换任务。
评估
通过统计比较三种语言的任务表现,发现专用转换语言整体无显著优势,但在复制对象、上下文识别和类型条件计算等方面有局部帮助。
原文摘要(Abstract)

In Model-Driven Software Development, models are automatically processed to support the creation, build, and execution of systems. A large variety of dedicated model-transformation languages exists, promising to efficiently realize the automated processing of models. To investigate the actual benefit of using such specialized languages, we performed a large-scale controlled experiment in which over 78 subjects solve 231 individual tasks using three languages. The experiment sheds light on commonalities and differences between model transformation languages (ATL, QVT-O) and on benefits of using them in common development tasks (comprehension, change, and creation) against a modern general-purpose language (Xtend). Our results show no statistically significant benefit of using a dedicated transformation language over a modern general-purpose language. However, we were able to identify several aspects of transformation programming where domain-specific transformation languages do appear to help, including copying objects, context identification, and conditioning the computation on types.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4638,
  title = {Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT},
  author = {Regina Hebig and Christoph Seidl and Thorsten Berger and John Kook Pedersen and Andrzej Wąsowski},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3236046}
}