An ActivityPredicate may be defined through the composition of a number of ActivityNodes, connected by ExecutionEdges and DataFlowEdges. ExecutionEdges represent the execution flow of the particular condition, and DataFlowEdges represent the flow of data within the particular condition.
The definition of a ActivityPredicate
is identical to a ActivityOperation,
except on the behaviours of FinishNodes
If the execution flow of a ActivityPredicate
arrives at a FinishNode,
is taken to be successful and return
if the execution flow of a ActivityPredicate
arrives at a CancelNode,
is taken to be unsuccessful and return
trueif the current element has been generated.