| Redefinition Contexts [message #542875] |
Sat, 26 June 2010 18:55  |
Eclipse User |
|
|
|
Hi,
What the meaning of Redefinition Context ? for example
A-a-----------b-B
C-c-----------d-D {redefines b}
Where C is a sub class of A and D is a sub class of B
what is Redefinition Contexts of the association end d?
When I use the isConsistentWith query to check if d is allowed to redefine d i got false? why
How Can I define the redefinition context of an association end?
Thanks
|
|
|
| Re: Redefinition Contexts [message #542878 is a reply to message #542875] |
Sat, 26 June 2010 19:10  |
| Eclipse User |
|
|
|
(I am assuming you meant "to check if d is allowed to redefine b")
Are the association ends owned by the classes or the association itself? They should be owned by the classes.
Also, for properties, consistency also includes the type of the properties, the kind of aggregation (if any), and the multiplicities.
From Superstructure, section 7.3.44:
"The query isConsistentWith() specifies, for any two Properties in a context in which redefinition is possible, whether
redefinition would be logically consistent. A redefining property is consistent with a redefined property if the type of the
redefining property conforms to the type of the redefined property, the multiplicity of the redefining property (if specified)
is contained in the multiplicity of the redefined property, and the redefining property is derived if the redefined attribute is
(sic) property." (that last "property" must have been "derived")
HTH,
Rafael
http://abstratt.com/blog
[Updated on: Sat, 26 June 2010 19:12] by Moderator |
|
|
|
| Re: Redefinition Contexts [message #628531 is a reply to message #542875] |
Sat, 26 June 2010 19:10 |
| Eclipse User |
|
|
|
Are the association ends owned by the classes or the association itself? They should be owned by the classes.
Also, for properties, consistency also includes the type of the properties, the kind of aggregation (if any), and the multiplicities.
From Superstructure, section 7.3.44:
"The query isConsistentWith() specifies, for any two Properties in a context in which redefinition is possible, whether
redefinition would be logically consistent. A redefining property is consistent with a redefined property if the type of the
redefining property conforms to the type of the redefined property, the multiplicity of the redefining property (if specified)
is contained in the multiplicity of the redefined property, and the redefining property is derived if the redefined attribute is
(sic) property." (that last "property" must have been "derived")
HTH,
Rafael
http://abstratt.com/blog
|
|
|
|
Powered by
FUDForum. Page generated in 0.25957 seconds
Home