as a part contained by the block B1

as a part contained by the block B3

as a part contained by the block B4

as a part contained by the diagram Nested Parts

Message a1 overtakes message m1, which is processed after receipt of a1.

Message a1 overtakes messages m1 and m2 and is processed before them.

Message m1 overtakes message a1, which is processed after receipt of m2.

Message m1 overtakes messages a1 and m2 and is processed before them.

suspend and resume

enable and disable

suspend, resume, enable and disable

It has no values, but is intended for a modeler to extend with their own control values.

Option A

Option B

Option C

Option D

when a block is typed by another block with similar properties

when it is important to ensure uniform generalization of all blocks

when it is important to ensure uniform specialization of all block properties

when a block that types several part properties exists in multiple variants

A derived property requires an additional constraint expression, whereas SysML parametrics does not.

OCL-based constraint expressions can be used with SysML parametrics but not with derived properties

it takes many more steps to specify derived properties in the typical tool compared to specifying constraint blocks.

SysML parametrics supports non causal expressions, whereas a derived property involves an expression with a fixed output direction

Only Instances X1 and X? are invalid

Only instances X2 and X4 are invalid.

Only instance X4 is invalid.

All instances (X1, X2, X3, and X4) are valid.