FUML11 — Error in ActivityNodeActivationGroup::getOutputParameterNodeActivations

Specification: Semantics of a Foundational Subset for Executable UML Models (fUML) (formal/2011-02-01)

Subclause: 8.5.2.2.5 ActivityNodeActivationGroup

The ActivityNodeActivationGroup::getOutputParameterNodeActivations operation is supposed to return the output ActivityParameterNodeActivations for an Activity. As currently specified, it finds all the ActivityParameterNodes for parameters with direction inout, out and return. However, inout parameters actually have two ActivityParameterNodes: one for input and one for output. The current specification results in the operation incorrectly returning both the input and output nodes for an inout parameter.

The UML well-formedness constraints require that an input ActivityParameterNode only have outgoing edges and that and output ActivityParameterNode only have incoming edges. Therefore, instead of checking the parameter to determine output nodes, getOutputParameterNodeActivations should instead check whether the node activation has incoming edges.

agreed