-
Key: QVT-51
-
Legacy Issue Number: 9379
-
Status: closed
-
Source: France Telecom R&D ( Mariano Belaunde)
-
Summary:
In QVTBase package, the association 'Pattern::bindsTo'
cannot be composition since variables in relations
specifications are owned by Relations and because
variables can be bound to more than one pattern.
The same applies for 'TemplateExp::Variable' in QVTRelation
package which should not be a composition.Suggested resolution:
Change the property definitions as:
'Pattern::bindsTo : [*] Variable opposites pattern [*]'
'TemplateExp::bindsTo : [0..1] Variable opposites pattern [*]
If needed add OCL well-formedness in QVT Core to restrict
multiplicity. -
Reported: QVT 1.0b1 — Mon, 13 Feb 2006 05:00 GMT
-
Disposition: Resolved — QVT 1.0
-
Disposition Summary:
(1) In 7.11.1.6, replaces "bindsTo: Variable [*]
{composes}"
by "bindsTo: Variable [*]"
and in Figure 7.5 removes the corresponding composition symbol
(2) In 7.11.2.1 replaces "bindsTo: Variable [0..1] {composes}"
by "bindsTo: Variable [0..1]"
and in Figure 7.6 removes the corresponding composition symbol -
Updated: Fri, 6 Mar 2015 22:36 GMT