Case-based exploration of bidirectional transformations in QVT Relations

Westfechtel, Bernhard

doi:10.1007/s10270-016-0527-z

Cited by 20 publications

(38 citation statements)

References 42 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section, we introduce a running example to be used throughout the rest of this paper. The example [46] is taken from project management [24] and involves a transformation from Gantt diagrams to CPM networks. In contrast to the model-to-text scenario introduced in Sect.…”

Section: Examplementioning

confidence: 99%

Extending single- to multi-variant model transformations by trace-based propagation of variability annotations

Westfechtel

Greiner

2020

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

Model-driven engineering involves the construction of models on different levels of abstraction. Software engineers are supported by model transformations, which automate the transition from high-to low-level models. Product line engineering denotes a systematic process that aims at developing different product variants from a set of reusable assets. When modeldriven engineering is combined with product line engineering, engineers have to deal with multi-variant models. In annotative approaches to product line engineering, model elements are decorated with annotations, i.e., Boolean expressions that define the product variants in which model elements are to be included. In model-driven product line engineering, domain engineers require multi-variant transformations, which create multi-variant target models from multi-variant source models. We propose a reuse-based gray-box approach to realizing multi-variant model transformations. We assume that single-variant transformations already exist, which have been developed for model-driven engineering, without considering product lines. Furthermore, we assume that single-variant transformations create traces, which comprise the steps executed in order to derive target models from source models. Single-variant transformations are extended into multi-variant transformations by trace-based propagation: after executing a single-variant transformation, the resulting single-variant target model is enriched with annotations that are calculated with the help of the transformation's trace. This approach may be applied to single-variant transformations written in different languages and requires only access to the trace, not to the respective transformation definition. We also provide a correctness criterion for trace-based propagation, and a proof that this criterion is satisfied under the prerequisites of a formal computational model.

show abstract

Section: Examplementioning

confidence: 99%

Extending single- to multi-variant model transformations by trace-based propagation of variability annotations

Westfechtel

Greiner

2020

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

show abstract

“…• Different transformation problems require different criteria for rule application conditions and for target element matching/creation/update. The standard does not provide any capability for such flexibility, leading to contrived and complex specifications when a variant semantics is needed [7,36,37].…”

Section: Issues In Qvt-r Semanticsmentioning

confidence: 99%

“…In Propert y2C Member, this means finding/creating an instance m of C Member which satisfies m.member O f = s, m.name = n and m.is K ey = k. However, the standard does not specify the relative order of execution of the where clause and target domains, nor of different target domains. There is a requirement that all arguments of a where-call of a relation must be fully bound at the point of call; however, this does not ensure that all data needed by the call are available [36].…”

Section: Incompleteness and Inconsistencies In The Qvt Standardmentioning

confidence: 99%

“…• Incompleteness in the semantics makes it difficult to verify transformations, or to systematically design bx [36]. • Unclear semantics for update-in-place transformations makes it difficult to define and use such transformations.…”

Section: Introductionmentioning

confidence: 99%

“…Section 7 considers the use of design patterns in QVT-R and UML-RSDS. Section 8 gives an evaluation of the approach by applying it to a number of bx benchmarks from [36]. Section 9 compares our approach to other related work.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Implementing QVT-R via semantic interpretation in UML-RSDS

Lano

Kolahdouz-Rahimi

2020

Softw Syst Model

View full text Add to dashboard Cite

The QVT-Relations (QVT-R) model transformation language is an OMG standard notation for model transformation specification. It is highly declarative and supports (in principle) bidirectional (bx) transformation specification. However, there are many unclear or unsatisfactory aspects to its semantics, which is not precisely defined in the standard. UML-RSDS is an executable subset of UML and OCL. It has a precise mathematical semantics and criteria for ensuring correctness of applications (including model transformations) by construction. There is extensive tool support for verification and for production of 3GL code in multiple languages (Java, C#, C++, C, Swift and Python). In this paper, we define a translation from QVT-R into UML-RSDS, which provides a logically oriented semantics for QVT-R, aligned with the RelToCore mapping semantics in the QVT standard. The translation includes variation points to enable specialised semantics to be selected in particular transformation cases. The translation provides a basis for verification and static analysis of QVT-R specifications and also enables the production of efficient code implementations of QVT-R specifications. We evaluate the approach by applying it to solve benchmark examples of bx.

show abstract

Incremental Bidirectional Transformations: Comparing Declarative and Procedural Approaches Using the Families to Persons Benchmark

Westfechtel

Buchmann

2019

Communications in Computer and Information Science

View full text Add to dashboard Cite

Case-based exploration of bidirectional transformations in QVT Relations

Cited by 20 publications

References 42 publications

Extending single- to multi-variant model transformations by trace-based propagation of variability annotations

Extending single- to multi-variant model transformations by trace-based propagation of variability annotations

Implementing QVT-R via semantic interpretation in UML-RSDS

Incremental Bidirectional Transformations: Comparing Declarative and Procedural Approaches Using the Families to Persons Benchmark

Contact Info

Product

Resources

About