A Case Study for a Bidirectional Transformation Between Heterogeneous Metamodels in QVT Relations

Westfechtel, Bernhard

doi:10.1007/978-3-319-30243-0_8

Cited by 3 publications

(1 citation statement)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Lano et al [42] present an approach for model transformations with UML-RSDS, which combines model transformations with general software systems to design UML models and generate code automatically. Westfechtel [62,63] provides a bidirectional model transformation approach (rather than two unidirectional ones) based on QVT-R. The interesting approach has been validated on formal Petri Nets, rather than on models for describing systems.…”

Section: Related Workmentioning

confidence: 99%

Using two case studies to explore the applicability of VIATRA for the model-driven engineering of mechatronic production systems

Koltun

Pundel

2022

Softw Syst Model

View full text Add to dashboard Cite

The engineering of mechatronic production systems is complex and requires various disciplines (e.g., systems, mechanical, electrical and software engineers). Model-driven engineering (MDE) supports systems development and the exchange of information based on models and transformations. However, the integration and adoption of different modeling approaches are becoming challenges when it comes to cross-disciplinary work. VIATRA is a long-living enduring and mature modeling framework that offers rich model transformation features to develop MDE applications. This study investigates the extent to which VIATRA can be applied in the engineering of mechatronic production systems. For this purpose, two model transformation case studies are presented: “SysML – AutomationML” and “SysML4Mechatronics – AutomationML.” Both case studies are representative of structural modeling and interdisciplinary data exchange during the development of mechatronic production systems. These case studies are derived from other researchers in the community. A VIATRA software prototype implements these case studies as a batch-oriented transformation and serves as one basis for evaluating VIATRA. To report on our observations and findings, we built on an evaluation framework from the MDE community. This framework considers 14 different characteristics (e.g., maturity, size, execution time, modularity, learnability), according to the Goal-Question-Metric paradigm. To be able to evaluate our findings, we compared VIATRA to ATL. We applied all cases to a lab-size mechatronic production system. We found that, with VIATRA, the same functions for model transformation applications can be achieved as with ATL, which is popular for model transformations in both the MDE and the mechatronic production systems community. VIATRA combines the relational, imperative, and graph-based paradigms and enables the development and execution of model-to-model (M2M) and model-to-text (M2T) transformations. Furthermore, the VIATRA internal DSL is based on Xtend and Java, making VIATRA attractive and intuitive for users with less experience in modeling than in object-oriented programming. Thus, VIATRA leads to an interesting alternative for the model-driven engineering of mechatronic production systems. It has the potential to reduce the complexity during the development of model transformations. To conclude, this paper evaluates the applicability of VIATRA, its strengths and limitations. It provides lessons learned and insights that can stimulate further research in the MDE for mechatronic production systems.

show abstract

Section: Related Workmentioning

confidence: 99%