[论文解读] A Domain Specific Transformation Language

Bernhard Rumpe⋆, Ingo Weisemöller|arXiv (Cornell University)|Sep 8, 2014

Model-Driven Software Engineering Techniques参考文献 20被引用 15

一句话总结

本文提出了一种领域特定的转换语言，重用了文本化建模语言的表面语法来表示分层自动机，使领域专家能够以统一且直观的记法定义模型及其转换。该方法通过使转换语法与领域特定语言的视觉和结构惯例保持一致，提升了可理解性和可学性，借助一个原型和一个自动从现有文本领域特定语言生成转换语言的场景，证明了其可行性。

ABSTRACT

Domain specific languages (DSLs) allow domain experts to model parts of the system under development in a problem-oriented notation that is well-known in the respective domain. The introduction of a DSL is often accompanied the desire to transform its instances. Although the modeling language is domain specific, the transformation language used to describe modifications, such as model evolution or refactoring operations, on the underlying model, usually is a rather domain independent language nowadays. Most transformation languages use a generic notation of model patterns that is closely related to typed and attributed graphs or to object diagrams (the abstract syntax). A notation that reflects the transformed elements of the original DSL in its own concrete syntax would be strongly preferable, because it would be more comprehensible and easier to learn for domain experts. In this paper we present a transformation language that reuses the concrete syntax of a textual modeling language for hierarchical automata, which allows domain experts to describe models as well as modifications of models in a convenient, yet precise manner. As an outlook, we illustrate a scenario where we generate transformation languages from existing textual languages.

研究动机与目标

• 解决领域特定建模语言与通用且难学的转换语言之间的脱节问题。
• 通过使转换语法与领域特定语言的表面语法保持一致，提升模型转换对领域专家的可理解性和可用性。
• 通过使用领域专家熟悉的记法，实现对模型修改（如重构和演化）的精确且可维护的规格说明。
• 探索从现有文本领域特定语言自动生成转换语言的可行性。

提出的方法

• 该转换语言重用了用于分层自动机的文本建模语言的表面语法，以表达模型和转换。
• 转换通过模仿原始DSL语法结构的模式匹配构造来定义，从而提升可读性。
• 该方法以建模语言的抽象语法为基础来构建转换规则，确保类型安全和精确性。
• 一个原型实现展示了在单一语言表面语法中集成模型定义与转换的可行性。
• 本文提出了一种从现有文本DSL自动生成转换语言的方法，通过分析其语法和结构。

实验结果

研究问题

• RQ1 一种重用领域特定语言表面语法的转换语言，是否能提升领域专家的可理解性？
• RQ2 如何使用反映领域特定建模语言视觉和结构惯例的记法来表达模型转换？
• RQ3 从现有文本领域特定语言自动生成转换语言是否可行？
• RQ4 重用DSL语法在多大程度上能降低非专家用户的学**习曲线？

主要发现

• 所提出的转换语言使领域专家能够使用与模型定义相同的语法编写转换，显著提升了可读性和可学性。
• 通过使转换语法与DSL的表面语法保持一致，该方法降低了认知负荷，并提高了指定模型修改的精确性。
• 原型实现成功地在单一语言表面语法中集成了模型与转换规格说明，证明了实际可行性。
• 本文展示了从现有文本DSL自动生成转换语言的可行路径，基于语法和结构分析。