As follow-up to this question I started digging in the UML specs regarding control flow in activity diagrams. Consider this simple example:
Notice that it neither has ActivityInitial
nor ActivityFinal
. I know (though I actually can't find the location) that the specs state that a flow is terminated when it has no outgoing edge. So if the [terminate]
is passed the flow will stop after Final
as if it has reached a FlowFinal
. But - and here are my questions:
- Will similarly to a missing outgoing edge a missing ingoing edge mean that the flow has to start here? So in my example, will the flow start at
Implicit
? - Since the
loop?
has only one guarded outgoing edge, what will happen to the token if it does not pass (I guess it will be stuck). - Is a merge node required to join the edges from the
Decision
and theImplicit
action intoAction
? (I guess you don't need it since anAction
will accept all tokens that are offered and not wait like aJoin
would do for all to arrive.)
Please use citation from the recent UML specs in your answer.