FUML11 — Error in DecisionNodeActivation semantics

: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.0 (formal/2011-02-01)

Subclause: 8.5.2.2.9 DecisionNodeActivation

In the method for the DecisionNodeActivation::getDecisionInputFlowValue operation contains the statement:

value = ((ObjectToken)(tokens.getValue(0))).value;

Since a decision input flow must be an object flow, it would seem reasonable to be able to assume that this flow would only contain ObjectTokens. However, all tokens offered by ForkNodeActivations are wrapped in ForkTokens, which is directly a subclass of Token. If such a token is offered on a decision input flow, then the above cast will fail.

To fix this, the above statement should be replaced with:

value = tokens.getValue(0).getValue();

The getValue operation is defined for all types of tokens (it returns null for control tokens, but that would not be an issue here).

agreed