Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » UML2 » Redefinition Contexts( Redefinition Contexts)
Redefinition Contexts [message #542875] Sat, 26 June 2010 18:55 Go to next message
zara75  is currently offline 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

Re: Redefinition Contexts [message #542878 is a reply to message #542875] Sat, 26 June 2010 19:10 Go to previous messageGo to next message
Rafael Chaves is currently offline 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 19:12]

Report message to a moderator

Re: Redefinition Contexts [message #542884 is a reply to message #542878] Sun, 27 June 2010 01:53 Go to previous messageGo to next message
zara75  is currently offline zara75
Messages: 15
Registered: December 2009
Junior Member
Thanks, your answer was really helpful
Re: Redefinition Contexts [message #628531 is a reply to message #542875] Sat, 26 June 2010 19:10 Go to previous messageGo to next message
Rafael Chaves is currently offline 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
Re: Redefinition Contexts [message #628535 is a reply to message #628531] Sun, 27 June 2010 01:53 Go to previous message
zara75  is currently offline zara75
Messages: 15
Registered: December 2009
Junior Member
Thanks, your answer was really helpful
Previous Topic:how to transform uml1.4 to uml2
Next Topic:EMF bidirectional validation failing
Goto Forum:
  


Current Time: Sat Aug 30 02:25:31 EDT 2014

Powered by FUDForum. Page generated in 0.02185 seconds