当前位置: X-MOL 学术Softw. Syst. Model. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On the automation-supported derivation of domain-specific UML profiles considering static semantics
Software and Systems Modeling ( IF 2 ) Pub Date : 2021-05-25 , DOI: 10.1007/s10270-021-00890-1
Alexander Kraas

In the light of standardization, the model-driven engineering (MDE) is becoming increasingly important for the development of DSLs, in addition to traditional approaches based on grammar formalisms. Metamodels define the abstract syntax and static semantics of a DSL and can be created by using the language concepts of the Meta Object Facility (MOF) or by defining a UML profile.

Both metamodels and UML profiles are often provided for standardized DSLs, and the mappings of metamodels to UML profiles are usually specified informally in natural language, which also applies for the static semantics of metamodels and/or UML profiles, which has the disadvantage that ambiguities can occur, and that the static semantics must be manually translated into a machine-processable language.

To address these weaknesses, we propose a new automated approach for deriving a UML profile from the metamodel of a DSL. One novelty is that subsetting or redefining metaclass attributes are mapped to stereotype attributes whose values are computed at runtime via automatically created OCL expressions. The automatic transfer of the static semantics of a DSL to a UML profile is a further contribution of our approach. Our DSL Metamodeling and Derivation Toolchain (DSL-MeDeTo) implements all aspects of our proposed approach in Eclipse. This enabled us to successfully apply our approach to the two DSLs Test Description Language (TDL) and Specification and Description Language (SDL).



中文翻译:

在考虑静态语义的情况下,自动化支持的特定于域的UML配置文件的派生

根据标准化,除了基于语法形式主义的传统方法之外,模型驱动工程(MDE)对于DSL的开发也变得越来越重要。元模型定义了DSL的抽象语法和静态语义,可以通过使用元对象工具(MOF)的语言概念或通过定义UML配置文件来创建元模型。

通常为标准化DSL提供元模型和UML概要文件,并且通常以自然语言非正式地指定元模型到UML概要文件的映射,这也适用于元模型和/或UML概要文件的静态语义,其缺点是模棱两可静态语义必须手动翻译成机器可处理的语言。

为了解决这些弱点,我们提出了一种新的自动化方法,用于从DSL的元模型中派生UML配置文件。一种新颖之处在于,将子集或重新定义元类属性映射到构造型属性,构造型属性的值在运行时通过自动创建的OCL表达式进行计算。DSL静态语义到UML配置文件的自动传输是我们方法的进一步贡献。我们的DSL元建模和派生工具链(DSL-MeDeTo)在Eclipse中实现了我们提出的方法的所有方面。这使我们能够成功地将我们的方法应用于两种DSL测试描述语言(TDL)规范和描述语言(SDL)

更新日期:2021-05-25
down
wechat
bug