|
Re: Redefinition Contexts [message #542878 is a reply to message #542875] |
Sat, 26 June 2010 23:10 |
Rafael Chaves Messages: 161 Registered: July 2009 |
Senior Member |
|
|
(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 23:12] Report message to a moderator
|
|
|
|
Re: Redefinition Contexts [message #628531 is a reply to message #542875] |
Sat, 26 June 2010 23:10 |
Rafael Chaves Messages: 161 Registered: July 2009 |
Senior Member |
|
|
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.03179 seconds