UML 2.4 RTF Avatar
  1. OMG Issue

UML24 — UML state machines: inconsistent subset of StateMachine::extendedStatemachine

  • Key: UML24-108
  • Legacy Issue Number: 15669
  • Status: closed  
  • Source: Simula Research Laboratory ( Dr. Bran Selic)
  • Summary:

    Issue 15265 proclaimed that StateMachine::extendedStatemachine should subset Classifier::redefinedClassifier. However, while the text entry for this field does this, the diagram in Figure 15.3 subsets Behavior::redefinedBehavior instead. It seems that the fix was not applied properly. Note that Behavior::redefinedBehavior is not a derived union property, so Figure 15.3 is just plain wrong – although it could be argued that the proper fix is to make it a derived union and have StateMachine::extendedStatemachine redefine Behavior::redefinedBehavior

  • Reported: UML 2.3 — Thu, 30 Sep 2010 04:00 GMT
  • Disposition: Resolved — UML 2.4
  • Disposition Summary:

    Figure 15.3 (referring to the version of 2.4 published in September 2010) is not wrong – it is valid for a property to subset a non-derived one. However the semantic question here is what exactly extendedStateMachine is supposed to mean that cannot be accomplished by using redefinedBehavior.
    It is wrong, however, in the sense that resolution 15265 was not correctly or consistently applied.
    At this point we need at least to make the resolution consistent.
    I propose to do this by making extendedStateMachine redefine behavior::redefinedBehavior, having the effect that only a state machine may redefine a state machine.

  • Updated: Fri, 6 Mar 2015 20:58 GMT