Eclipse Community Forums: UML2 » Redefinition Contexts

Help

Home

Home » Modeling » UML2 » Redefinition Contexts( Redefinition Contexts)

Show: Today's Messages :: Show Polls :: Message Navigator

Redefinition Contexts [message #542875]

Sat, 26 June 2010 22:55

zara75

Messages: 15
Registered: December 2009

Junior Member

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

Report message to a moderator

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 #542884 is a reply to message #542878]

Sun, 27 June 2010 05:53

zara75

Messages: 15
Registered: December 2009

Junior Member

Thanks, your answer was really helpful

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

Report message to a moderator