UML 1.4 MAILINGLIST Avatar
  1. OMG Issue

UML14 — Issue: Conflicting WFRs on Transition

  • Key: UML14-58
  • Legacy Issue Number: 4298
  • Status: closed  
  • Source: Model Driven Solutions ( Ed Seidewitz)
  • Summary:

    UML 1.4 Specification, Section 2.12.3, p. 2-165

    Description:
    WFR 5 for the class Transition states that "Transitions outgoing
    pseudostates may not have a trigger" and the OCL supports this absolute
    statement. However, WFR 6 is intended to allow transitions out of initial
    states, which are a kind of pseudostate, to have "a trigger with the
    stereotype 'create'". Unfortunately, WFR 5 prevents this from ever being
    legal.

    Recommendation:
    Change WFR 5 as follows.

    [5] Transitions outgoing pseudostates other than initial states may not have
    a trigger.

    self.source.oclIsKindOf(Pseudostate) implies
    self.source.oclAsType(Pseudostate).kind<>#initial implies
    (self.trigger->isEmpty())

  • Reported: UML 1.3 — Thu, 10 May 2001 04:00 GMT
  • Disposition: Resolved — UML 1.4.2
  • Disposition Summary:

    see below

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