On the automation-supported derivation of domain-specific UML profiles considering static semantics

Faculty/Professorship: Software Technologies  
Author(s): Kraas, Alexander
Publisher Information: Bamberg : Otto-Friedrich-Universität
Year of publication: 2022
Volume: 21
Issue: 1
Pages: 51-79
Source/Other editions: Software and Systems Modeling, 21 (2021), 1, S. 51-79 - ISSN: 1619-1374
is version of: 10.1007/s10270-021-00890-1
Year of first publication: 2021
Language(s): English
Licence: Creative Commons - CC BY - Attribution 4.0 International 
URN: urn:nbn:de:bvb:473-irb-548476
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).
GND Keywords: Domänenspezifische Programmiersprache; Modellgetriebene Entwicklung; UML; Metamodell
Keywords: model-driven engineering (MDE), DSL, Metamodels, UML profiles, machine-processable language
DDC Classification: 004 Computer science  
RVK Classification: ST 230   
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/54847
Release Date: 28. July 2022

File SizeFormat  
fisba54847.pdf3.08 MBPDFView/Open