UML state charts: completion transitions -


in context of uml state charts run-to-completion model, how "completion transitions" processed?

  1. the completion of state inserts "completion event" @ beginning of event queue , "completion transition" executed state machine explicitly stepped, or
  2. completion of state triggers "completion transition" (and possibly subsequent "completion transitions") , state machine may execute multiple steps each explicit stepping.

both cases suggest, state's unguarded "completion transition" makes other defined transitions (whether event-triggered or guarded) redundant.

am understanding correctly?

the answer closer #2 ('completion of state triggers "completion transition"'), mention "multiple steps each explicit stepping." don't know mean that.

the uml 2.5 spec, in section 14.2.38.3, says:

a special kind of transition completion transition, has implicit trigger. event enables trigger called completion event , signifies behaviors associated source state of completion transition have completed execution. in case of simple states, completion event generated when associated entry , doactivity behaviors have completed executing. if no such behaviors defined, completion event generated upon entry state.

the spec goes on describe how completion event generated composite or submachine states. since you're asking simpler case, i'll skip that.

the spec says "completion events have dispatching priority. is, dispatched ahead of pending event occurrences in event pool." thus, other defined transitions not dispatched.


Comments

Popular posts from this blog

java - Suppress Jboss version details from HTTP error response -

gridview - Yii2 DataPorivider $totalSum for a column -

Sass watch command compiles .scss files before full sftp upload -