UML14 — Issue: Conflicting WFRs on Transition

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())

see below