Tags and keywords
A SysML Parametric diagram for the constraint block
IsLepton
can be used to compute the derived value property /calcIsLepton:Boolean
and compare it with the declared value isLepton:Boolean
:If you have Magic Cyber-Systems Engineer ® (Cameo Systems Modeler®) or Magic Model Analyst® (Cameo Simulation Toolkit®) you can run the calculation in the context of an instance
:Lepton
(shown in the previous BDD) to confirm that /calcIsLepton:Boolean
is true for any Lepton
.
This is intended as a final presentation diagram, so the 'members' tagged value is not shown in the snippet symbol (but the 'source' should always be shown). One also usually need not show quite so many dashed-lined "anchors" indicating traceable elication of model elements once they've done their job in a Parsing Analysis «pa» scratchpad diagram elsewhere.