Issue 6185: UML 2 Super/Metamodel::BasicBehaviors/missing redefinition (uml2-superstructure-ftf) Source: Simula Research Laboratory (Mr. Bran Selic, selic(at)acm.org) Nature: Uncategorized Issue Severity: Summary: BasicBehaviors has association context:BehavioredClassifier[0..1] c-->ownedBehavior:Behavior[0..*]. BehaviorStateMachines has :BehavioredClassifier[0..1] {subsets redefinitionContext} c--> ownedStateMachine: StateMachine[0..*] {redefines ownedBehavior}. StateMachine specializes Behavior thereby inheriting context:BehavioredClassifier. Property redefinitionContext comes from RedefiningElement, but the inherited property context is skipped. Is the role name missing? Should context:Behavior subset redefinitionContext? Resolution: see above Revised Text: Actions taken: September 7, 2003: received issue March 8, 2005: closed issue Discussion: The issue correctly points to an omission in the specification. One either (i) could specialize redefinitionContext as the context of a behavior, or (ii) specialize both context and redefinitionContext in every concrete behavior. The former is chosen, as this holds for every classifier and thus, this change fixes a problem that existed also for any of the other concrete behaviors. On p.380 of ptc/03-08-02, in Associations for Behavior, add to the association context the sentence “Specializes RedefinableElement.redefinitionContext.” and update Figure 312 on p. 375 accordingly. On p.458, Figure 355, delete the association between StateMachine and BehavioredClassifier, and the symbol for Behaviored classifier. This association is inherited from Behavior. On p.490, associations for StateMachine, delete the association redefinitionContext as this is inherited from Behavior. End of Annotations:===== To: issues@omg.org Subject: UML 2 Super/Metamodel::BasicBehaviors/missing redefinition X-Mailer: Lotus Notes Release 5.0.11 July 24, 2002 From: Branislav Selic Date: Sun, 7 Sep 2003 08:48:48 -0400 X-MIMETrack: Serialize by Router on D25ML05/25/M/IBM(Release 6.0.2CF1|June 9, 2003) at 09/07/2003 08:48:50, Serialize complete at 09/07/2003 08:48:50 BasicBehaviors has association context:BehavioredClassifier[0..1] c-->ownedBehavior:Behavior[0..*]. BehaviorStateMachines has :BehavioredClassifier[0..1] {subsets redefinitionContext} c--> ownedStateMachine: StateMachine[0..*] {redefines ownedBehavior}. StateMachine specializes Behavior thereby inheriting context:BehavioredClassifier. Property redefinitionContext comes from RedefiningElement, but the inherited property context is skipped. Is the role name missing? Should context:Behavior subset redefinitionContext? Bran Selic IBM Software Group -- Rational Software 770 Palladium Drive Kanata, Ontario, Canada K2V 1C8 ph. (613) 591-7915 fax (613) 599-3912 OMG Issue No: 6185 Title: UML 2 Super/Metamodel::BasicBehaviors/missing redefinition Source: Bran Selic, IBM (bselic@ca.ibm.com) Summary: BasicBehaviors has association context:BehavioredClassifier[0..1] c-->ownedBehavior:Behavior[0..*]. BehaviorStateMachines has: BehavioredClassifier[0..1] {subsets redefinitionContext} c--> ownedStateMachine: StateMachine[0..*] {redefines ownedBehavior}. StateMachine specializes Behavior thereby inheriting context:BehavioredClassifier. Property redefinitionContext comes from RedefiningElement, but the inherited property context is skipped. Is the role name missing? Should context:Behavior subset redefinitionContext? Discussion: The issue correctly points to an omission in the specification. One either (i) could specialize redefinitionContext as the context of a behavior, or (ii) specialize both context and redefinitionContext in every concrete behavior. The former is chosen, as this holds for every classifier and thus, this change fixes a problem that existed also for any of the other concrete behaviors. On p.380 of ptc/03-08-02, in Associations for Behavior, add to the association context the sentence .Specializes RedefinableElement.redefinitionContext.. and update Figure 312 on p. 375 accordingly. On p.458, Figure 355, delete the association between StateMachine and BehavioredClassifier, and the symbol for Behaviored classifier. This association is inherited from Behavior. On p.490, associations for StateMachine, delete the association redefinitionContext as this is inherited from Behavior. Disposition: Resolved OMG Issue No: 6185 Title: UML 2 Super/Metamodel::BasicBehaviors/missing redefinition Source: Bran Selic, IBM (bselic@ca.ibm.com) Summary: BasicBehaviors has association context:BehavioredClassifier[0..1] c-->ownedBehavior:Behavior[0..*]. BehaviorStateMachines has: BehavioredClassifier[0..1] {subsets redefinitionContext} c--> ownedStateMachine: StateMachine[0..*] {redefines ownedBehavior}. StateMachine specializes Behavior thereby inheriting context:BehavioredClassifier. Property redefinitionContext comes from RedefiningElement, but the inherited property context is skipped. Is the role name missing? Should context:Behavior subset redefinitionContext? Discussion: The issue correctly points to an omission in the specification. One either (i) could specialize redefinitionContext as the context of a behavior, or (ii) specialize both context and redefinitionContext in every concrete behavior. The former is chosen, as this holds for every classifier and thus, this change fixes a problem that existed also for any of the other concrete behaviors. On p.380 of ptc/03-08-02, in Associations for Behavior, add to the association context the sentence .Specializes RedefinableElement.redefinitionContext.. and update Figure 312 on p. 375 accordingly. On p.458, Figure 355, delete the association between StateMachine and BehavioredClassifier, and the symbol for Behaviored classifier. This association is inherited from Behavior. On p.490, associations for StateMachine, delete the association redefinitionContext as this is inherited from Behavior. Disposition: Resolved e-mail: bselic@ca.ibm.com