search

eclipse-qvtd / org.eclipse.qvtd

Eclipse Public License 2.0
0 stars 0 forks source link

[qvts] Use predicated for used-loaded #354

Open eclipse-qvtd-bot opened 1 week ago

eclipse-qvtd-bot commented 1 week ago

| --- | --- | | Bugzilla Link | 539891 | | Status | NEW | | Importance | P3 normal | | Reported | Oct 07, 2018 07:21 EDT | | Modified | Oct 29, 2018 11:15 EDT | | Reporter | Ed Willink |

Description

The Iterated2Iterated example demonstrates re-use of output nodes as inputs, but in the QVTs input nodes are LOADED. This requires some trickery. Surely inputs that may be generated should be converted from LOADED to PREDICATED, else a new LOADED-PREDICATED state would be necessary?

eclipse-qvtd-bot commented 1 week ago

By Ed Willink on Oct 29, 2018 11:15

Once the limitations on 'multiple' output domains is resolved to facilitate 'bidirectional' ATL2QVTr, the The Iterated2Iterated example also demonstrates a sensitivity to declaring its intermediate 'via' domain as an output.

It would appear that a 'uses' domain is probably unidirectional and that the using domain should be an input and the used domain an output. This should at least be checked and diagnosed to avoid disappointing/confusing results.