Figure 13-1: Block definition diagram with state machines as blocks associated with submachines and types of parameters

Gallery
Tutorial
TRAIL: The SysML-1.6 Hybrid SUV sample and specification diagrams in MagicDraw/Cameo (with annotations) [UNDERGOING UPDATE to SysML1.7]
Section
Section: SysML-1.6 specification diagrams: 13 StateMachines
UML keywords
StateMachine
submachine
Parameter
State::/isSubmachineState
SysML keywords
SysML specification figure
SysML Block Definition Diagram
«stateMachine»
AdjunctProperty
AdjunctProperty::principal
Slide kind
SysML Block Definition Diagram (BDD)
Click on the image to view it full size
Setting the principals using the tool's validation warning dialog failed:
MagicDraw/Cameo 19SP3: can't assign Statemachine submachine as principal of AdjunctProperty via validation warning dialog (confirmed bug). WORKAROUND: Set principal using the specification dialog.
But could use this nice feature as a workaround:
MagicDraw/Cameo: You can set many fields in an Element's specification dialog just by dragging compatible elements from the model browser onto the value area of the field.
This trail section does not have many slides yet. Please visit next this trail section:  Section: SysML-1.6 specification diagrams: 14 UseCases
Up next
Section: SysML-1.6 specification diagrams: 14 UseCases
Notes
[ISSUE] MagicDraw/Cameo 19SP3: can't assign Statemachine submachine as principal of AdjunctProperty via validation warning dialog (confirmed bug). WORKAROUND: Set principal using the specification dialog.
[FEATURE, TIP, TOOL]{INFORMATIVE} MagicDraw/Cameo: You can set many fields in an Element's specification dialog just by dragging compatible elements from the model browser onto the value area of the field.
Snippets (quotes/extracts)
  [SysML-1.6] State machines in block definition diagrams appear as regular blocks, except the «stateMachine» keyword may be used to indicate the Block stereotype is applied to a state machine, as shown in Figure 13-1.
  [SysML-1.6] Properties with AdjunctProperty applied, where the principal of the AdjunctProperty is a submachine state, can be used as the end of the associations towards the sub state machine.
  [SysML-1.6] Properties with AdjunctProperty applied, where the principal of the AdjunctProperty is a parameter of the state machine, can be used as the end of the associations towards the parameter type.
Visit also
Visit also (backlinks)
Related slides (includes other tutorials)
Related slides (backlinks, includes other tutorials)
A very simple Activity decomposition in a BDD using AdjunctProperty
AdjunctProperty for CallBehaviorAction and ObjectNode
Behavior StateMachines can be used to specify any of the following
StateMachines - simplified metaclass hierarchy
UML Event types for triggering Transitions
uml101 - StateMachines - NOTATION REFERENCE CARD
Kinds of States
State configurations
Effect, Entry, Do, Exit
Composite state entry and exit points
Submachines: entryPoint and exitPoint
Using submachines
Pseudostates - initial, fork, join, terminate
Pseudostates - junction
Pseudostates - choice