Bug 516223 - [qvtr] Validate transformation / model WFR consistency
Summary: [qvtr] Validate transformation / model WFR consistency
Status: NEW
Alias: None
Product: QVTd
Classification: Modeling
Component: Core (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows NT
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-05-05 03:57 EDT by Ed Willink CLA
Modified: 2017-05-05 04:07 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ed Willink CLA 2017-05-05 03:57:41 EDT 
In regard to Keys, Sreedhar observes that the fundamental semantics is that of an output model WFR, which the transformation exploits to resolve output overlaps in a useful fashion. Conversely a Key overlap conflict may lead to a cannot-transform failure.

If Key WFRs can lead to a cannot-transform failure, shouldn't any output model WFR violation also lead to a cannot-transform failure? Can a transformation be optimized to exploit an input model WFR?

It seems that we can at least diagnose WFR / transformation inconsistencies.