Calculate whether a specific particle is a lepton using SysML parametrics

Gallery
Tutorial
TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia
Section
SysML keywords
SysML Parametric Diagram
constraint property
constraint parameter
ConstraintBlock
Keywords
Slide kind
SysML Parametric Diagram
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:
Click on the image to view it full size
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.

Up next
Overview of all diagrams after moving elicited model elements out of the 'source' zone
Notes
[ASSERTION, DISPLAY, POLICY, SETTINGS, STYLE, TOOL]{STRICT} Webel Parsing Analysis: If you wish to show a «snippet» comment symbol (with its body text) in a presentation diagram (that is NOT a «pa» diagram) remove the '/member' tagged value from display so the only visible tagged value is 'source'.
[OPTION]{SUGGESTED} Computed category membership test values are sometimes adequate and can prevent Class/Block explosion. However, a dedicated Class/Block encapsulating a clear domain concept offers a clear documentation point and can carry other characterising features.
Snippets (quotes/extracts)
Visit also
Visit also (backlinks)
TIP/GOTCHA: MagicDraw SysML/Cameo: In Parametric Diagrams create BindingConnectors involving part properties by selecting the constraint parameter symbol first and use the smart manipulator (otherwise you might accidentally create a regular Connector)
Related slides (includes other tutorials)
Related slides (backlinks, includes other tutorials)
Calculate wavelengths from frequencies and compare EM regions in a table